Shelah's categoricity conjecture from a successor for tame abstract elementary classes

DOI10.2178/jsl/1146620158zbMath1100.03023arXivmath/0509387OpenAlexW2009448865WikidataQ123002709 ScholiaQ123002709MaRDI QIDQ5480625

Rami Grossberg, Monica Van Dieren

Publication date: 3 August 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

categoricity transfer theoremtame abstract elementary classes

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items (32)

Shelah's eventual categoricity conjecture in universal classes. I. ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ The joint embedding property and maximal models ⋮ Infinitary stability theory ⋮ CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ Categoricity, amalgamation, and tameness ⋮ Categoricity transfer in simple finitary abstract elementary classes ⋮ Building independence relations in abstract elementary classes ⋮ Independence, dimension and continuity in non-forking frames ⋮ Superstability and symmetry ⋮ ON CATEGORICITY IN SUCCESSIVE CARDINALS ⋮ The Hart-Shelah example, in stronger logics ⋮ Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes ⋮ TAMENESS AND FRAMES REVISITED ⋮ EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ Rank functions and partial stability spectra for tame abstract elementary classes ⋮ Category-theoretic aspects of abstract elementary classes ⋮ A topology for galois types in abstract elementary classes ⋮ Shelah's eventual categoricity conjecture in universal classes. II ⋮ Superstability from categoricity in abstract elementary classes ⋮ Symmetry in abstract elementary classes with amalgamation ⋮ Forking in short and tame abstract elementary classes ⋮ Tameness and extending frames ⋮ Abstract elementary classes and infinitary logics ⋮ Downward categoricity from a successor inside a good frame ⋮ Non-forking w-good frames ⋮ Examples of non-locality ⋮ Tameness from two successive good frames ⋮ The amalgamation spectrum ⋮ GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES ⋮ The categoricity spectrum of large abstract elementary classes ⋮ Algebraic description of limit models in classes of abelian groups

Cites Work

• 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
• A minimal prime model with an infinite set of indiscernibles
• Toward categoricity for classes with no maximal models
• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Ranks and pregeometries in finite diagrams
• Strong splitting in stable homogeneous models
• Categoricity of theories in L_{κ^*, ω}, when κ^*is a measurable cardinal. Part 2
• Generalizing Morley's Theorem
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Simple homogeneous models
• Homogeneous Universal Relational Systems.
• Finite diagrams stable in power
• Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
• Categoricity of an abstract elementary class in two successive cardinals

This page was built for publication: Shelah's categoricity conjecture from a successor for tame abstract elementary classes