Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal

DOI10.1016/0168-0072(90)90016-UzbMath0704.03015MaRDI QIDQ916644

Saharon Shelah, Michael Makkai

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

categoricityclassification theoryinfinitary languagescompact cardinalmodified square-systemsnon-forking over modelsorder indiscerniblesSkolem hull

Mathematics Subject Classification ID

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

Related Items

Shelah's eventual categoricity conjecture in universal classes. I., Bjarni Jónsson's contributions in algebra, Canonical forking in AECs, Infinitary stability theory, Building independence relations in abstract elementary classes, Superstability and symmetry, Toward a stability theory of tame abstract elementary classes, Accessible images revisited, Building prime models in fully good abstract elementary classes, TAMENESS AND FRAMES REVISITED, Forking independence from the categorical point of view, The primal framework. II: Smoothness, Shelah's eventual categoricity conjecture in universal classes. II, Chains of saturated models in AECs, Forking in short and tame abstract elementary classes, Main gap for locally saturated elementary submodels of a homogeneous structure, Internal sizes in \(\mu\)-abstract elementary classes, Tameness and extending frames, TAMENESS FROM LARGE CARDINAL AXIOMS, Categoricity in abstract elementary classes with no maximal models, Categoricity of an abstract elementary class in two successive cardinals, Downward categoricity from a successor inside a good frame, Shelah's categoricity conjecture from a successor for tame abstract elementary classes, The categoricity spectrum of large abstract elementary classes, 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
• Unnamed Item
• Unnamed Item
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Around classification theory of models
• Large infinitary languages. Model theory
• Classification theory and the number of non-isomorphic models
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Model theory
• Homogeneous Universal Models.
• Categoricity in Power
• Homogeneous Universal Relational Systems.