Author:
GROSSBERG RAMI,VASEY SEBASTIEN
Abstract
AbstractIn the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no long splitting chains implies solvability and uniqueness of limit models implies no long splitting chains. Using known implications, we can then conclude that all the previously-mentioned definitions (and more) are equivalent:Corollary.LetKbe a tame AEC with a monster model. Assume thatKis stable in a proper class of cardinals. The following are equivalent:(1)For all high-enough λ,Khas no long splitting chains.(2)For all high-enough λ, there exists a good λ-frame on a skeleton ofKλ.(3)For all high-enough λ,Khas a unique limit model of cardinality λ.(4)For all high-enough λ,Khas a superlimit model of cardinality λ.(5)For all high-enough λ, the union of any increasing chain of λ-saturated models is λ-saturated.(6)There exists μ such that for all high-enough λ,Kis (λ,μ) -solvable.This gives evidence that there is a clear notion of superstability in the framework of tame AECs with a monster model.
Publisher
Cambridge University Press (CUP)
Reference43 articles.
1. Superstability from categoricity in abstract elementary classes;Boney;Annals of Pure and Applied Logic
2. Shelah’s eventual categoricity conjecture in universal classes: part II
3. [30] Shelah S. and Vasey S. , Abstract elementary classes stable in ℵ0, preprint. Available at http://arxiv.org/abs/1702.08281v1.
4. Forking in short and tame AECs;Boney;Annals of Pure and Applied Logic
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献