Categoricity of an abstract elementary class in two successive cardinals

DOI10.1007/BF02784150zbMath0999.03030arXivmath/9805146MaRDI QIDQ5957365

Saharon Shelah

Publication date: 24 July 2002

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9805146

zbMATH Keywords

categoricityabstract elementary class

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Related Items

Shelah's eventual categoricity conjecture in universal classes. I. ⋮ Canonical forking in AECs ⋮ CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ ALMOST GALOIS ω-STABLE CLASSES ⋮ Building independence relations in abstract elementary classes ⋮ Superstability and symmetry ⋮ ON CATEGORICITY IN SUCCESSIVE CARDINALS ⋮ Axiomatizing AECs and applications ⋮ Independence in finitary abstract elementary classes ⋮ More on weak diamond ⋮ Upward categoricity from a successor cardinal for tame abstract classes with amalgamation ⋮ Symmetry in abstract elementary classes with amalgamation ⋮ Forking in short and tame abstract elementary classes ⋮ Middle diamond ⋮ Tameness and extending frames ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Notes on Quasiminimality and Excellence ⋮ Categoricity in abstract elementary classes with no maximal models ⋮ Downward categoricity from a successor inside a good frame ⋮ Non-forking w-good frames ⋮ Examples of non-locality ⋮ FORKING AND SUPERSTABILITY IN TAME AECS ⋮ Shelah's categoricity conjecture from a successor for tame abstract elementary classes ⋮ Uniqueness of limit models in classes with amalgamation ⋮ GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES ⋮ Algebraic description of limit models in classes of abelian groups ⋮ Categoricity for abstract classes with amalgamation ⋮ Toward categoricity for classes with no maximal models ⋮ Ranks and pregeometries in finite diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• More on the weak diamond
• On the number of nonisomorphic models in L//(infinity,k) when k is weakly compact
• Proper forcing
• Reflecting stationary sets and successors of singular cardinals
• Classification theory and the number of non-isomorphic models.
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Categoricity for abstract classes with amalgamation
• Further cardinal arithmetic
• The generalized continuum hypothesis revisited
• Proof of a conjecture of B. Ruziewicz
• Diamond and λ-systems