CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES

From MaRDI portal



Abstract: Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is chi-tame. If K is categorical in some lambda^+ >LS(K) then it is categorical in all mugeq (lambda+chi)^+. Theorem 2. If K is LS(K)-tame and is categorical both in LS(K) and in LS(K)^+ then K is categorical in all mugeq LS(K).




Cited in
(45)








This page was built for publication: CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3444856)