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

DOI10.2178/jsl/1146620158zbMath1100.03023arXivmath/0509387WikidataQ123002709 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 theorem; tame abstract elementary classes

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

03C35: Categoricity and completeness of theories

Related Items

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

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