Categoricity of theories in L_ , with a compact cardinal

DOI10.1016/0168-0072(90)90016-UzbMATH Open0704.03015MaRDI QIDQ916644FDOQ916644

Authors: S. Shelah, Michael Makkai 

Publication date: 1990

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

Recommendations

• scientific article; zbMATH DE number 1036692
• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
• Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
• 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}\)

zbMATH Keywords

classification theorycategoricityinfinitary languagescompact cardinalmodified square-systemsnon-forking over modelsorder indiscerniblesSkolem hull

Mathematics Subject Classification ID

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

Cites Work

• Model theory
• Title not available (Why is that?)
• Large infinitary languages. Model theory
• Title not available (Why is that?)
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Classification theory and the number of non-isomorphic models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homogeneous Universal Relational Systems.
• Title not available (Why is that?)
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Homogeneous Universal Models.
• Around classification theory of models
• Categoricity in Power

Cited In (36)

• Amalgamation, absoluteness, and categoricity
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• Canonical forking in AECs
• Infinitary stability theory
• Building independence relations in abstract elementary classes
• Building prime models in fully good abstract elementary classes
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Tameness and extending frames
• Chains of saturated models in AECs
• Ranks and pregeometries in finite diagrams
• Main gap for locally saturated elementary submodels of a homogeneous structure
• Forking independence from the categorical point of view
• Forking in short and tame abstract elementary classes
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• 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}\)
• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity for abstract classes with amalgamation
• Toward categoricity for classes with no maximal models
• Shelah's eventual categoricity conjecture in universal classes. II
• Invariants for \(\omega\)-categorical, \(\omega\)-stable theories
• Tameness from large cardinal axioms
• Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
• Internal sizes in \(\mu\)-abstract elementary classes
• Superstability and symmetry
• Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality
• A note on extensions of infinitary logic
• The categoricity spectrum of large abstract elementary classes
• Bjarni Jónsson's contributions in algebra
• The primal framework. II: Smoothness
• Categoricity in abstract elementary classes with no maximal models
• Tameness and frames revisited
• Accessible images revisited
• Toward a stability theory of tame abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• Title not available (Why is that?)

This page was built for publication: Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q916644)