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

Tameness and extending frames, Independence, dimension and continuity in non-forking frames, GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES, \(\mu\)-abstract elementary classes and other generalizations, The joint embedding property and maximal models, Infinitary stability theory, Category-theoretic aspects of abstract elementary classes, Categoricity, amalgamation, and tameness, Abstract elementary classes and infinitary logics, Rank functions and partial stability spectra for tame abstract elementary classes, 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