Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 47, Number 2 (2006), 291-298.
Upward Stability Transfer for Tame Abstract Elementary Classes
Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We name some variants of tameness and prove the following. Let K be an AEC with Löwenheim-Skolem number ≤κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then K is Galois-stable in κ⁺ⁿ for all n<ω. With one further hypothesis we get a very strong conclusion in the countable case. Let K be an AEC satisfying the amalgamation property and with Löwenheim-Skolem number ℵ₀ that is ω-local and ℵ₀-tame. If K is ℵ₀-Galois-stable then K is Galois-stable in all cardinalities.
Notre Dame J. Formal Logic, Volume 47, Number 2 (2006), 291-298.
First available in Project Euclid: 25 July 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03C45: Classification theory, stability and related concepts [See also 03C48] 03C52: Properties of classes of models 03C75: Other infinitary logic
Secondary: 03C05: Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05] 03C55: Set-theoretic model theory 03C95: Abstract model theory
Baldwin, John; Kueker, David; VanDieren, Monica. Upward Stability Transfer for Tame Abstract Elementary Classes. Notre Dame J. Formal Logic 47 (2006), no. 2, 291--298. doi:10.1305/ndjfl/1153858652. https://projecteuclid.org/euclid.ndjfl/1153858652