论文信息 - Categoricity for Abstract Classes with Amalgamation - 字舞流文

Categoricity for Abstract Classes with Amalgamation

Abstract Let r be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS r . We prove that for a suitable Hanf number gc0 if χ0 r is categorical inλ1+ then it is categorical in λ0.

[1] Saharon Shelah,et al. Classification theory for non-elementary classes I: The number of uncountable models ofψ ∈Lω_1, ω. Part A , 1983 .

[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[3] Saharon Shelah,et al. Categoricity of Theories in Lk omega, with k a Compact Ordinal , 1990, Annals of Pure and Applied Logic.

[4] Michael Makkai. Categoricity of theories in L_ , with k a compact cardinal , 1990 .

[5] Victor Harnik,et al. Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models , 1982, Journal of Symbolic Logic.

[6] Saharon Shelah,et al. Categoricity of theories in L ? * , ? , when ? * is a measurable cardinal , 2001 .

[7] Saharon Shelah,et al. Toward Categoricity for Classes with no Maximal Models , 1999, Ann. Pure Appl. Log..

[8] Saharon Shelah. Categoricity in ℵ1 of sentences in $$L_{\omega _1 ,\omega } (Q)$$ , 1975 .

[9] Saharon Shelah,et al. Finite diagrams stable in power , 1970 .

[10] L. Moss. Ann. pure appl. logic: Erratum to “coalgebraic logic” 96 (1999) 277–317 , 1999 .

[11] Saharon Shelah. Categoricity in abstract elementary classes: going up inductive step , 2000 .

[12] Saharon Shelah,et al. Classification theory for non-elementary classes I: The number of uncountable models of $$\psi \in L_{w_1 ,w} $$ . Part B. Part B , 1983 .