Author:
Grossberg Rami,Vandieren Monica
Abstract
AbstractWe prove a categoricity transfer theorem for tame abstract elementary classes.Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ, LS(K+}. If K is categorical in λ and λ+, then K is categorical in λ++.Combining this theorem with some results from [37]. we derive a form of Shelah's Categoricity Conjecture for tame abstract elementary classes:Suppose K is χ-tame abstract elementary class satisfying the amalgamation and joint embedding properties. Let μ0 ≔ Hanf(K). Ifand K is categorical in somethen K is categorical in μ for all μ .
Publisher
Cambridge University Press (CUP)
Reference45 articles.
1. Zilber Boris , Analytic and pseudo-analytic structures, Preprint, http://www.maths.ox.ac.uk/~zilber.
2. Toward categoricity for classes with no maximal models
3. On what I do not understand (and have something to say), model theory;Shelah;Mathematica Japonica,2000
4. Classification theory for non-elementary classes I: The number of uncountable models of $$\psi \in L_{w_1 ,w} $$ . Part B. Part B
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献