Categoricity of theories in L_ , with a compact cardinal
In this paper the authors generalize the classical Morley categoricity theorem to a particular kind of infinitary languages, \(L_{\kappa \omega}\) with \(\kappa\) a compact cardinal. One of the main results of the paper is the following Theorem: Let \(\kappa\) be an uncountable strongly compact cardinal, \(T\) a theory in a fragment \(F\) of \(L_{\kappa \omega}\) and \(\kappa '=\max (\kappa,| F|)\). Let \(\lambda\) be a successor cardinal with \(\lambda >((\kappa ')^{<\kappa})^+\). If \(T\) is categorical in \(\lambda\) then \(T\) is categorical in every cardinal greater or equal to \(\min (\lambda,\beth_{(2^{\kappa '})^+})\). This paper should be seen as part of the program of classification theory. In Section 1 the necessary preliminaries are given, amalgamation and joint embedding property are investigated. In Section 2 types are studied under the assumption of amalgamation and joint embedding property. In Section 3 the authors deal with order indiscernibles and introduce the Skolem hull. In Section 4 an extension of an elementary part of stability is given. A suitable notion of non-forking over models is developed and used to obtain the categoricity result. Section 5 gives a summary. An appendix contains set-theoretic material used in Section 1. It gives the necessary background concerning modified square-systems.
- 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}\)
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Around classification theory of models
- Categoricity in Power
- Classification theory and the number of non-isomorphic models
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Homogeneous Universal Models.
- Homogeneous Universal Relational Systems.
- scientific article; zbMATH DE number 4037830 (Why is no real title available?)
- scientific article; zbMATH DE number 4041886 (Why is no real title available?)
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 3702632 (Why is no real title available?)
- scientific article; zbMATH DE number 3496166 (Why is no real title available?)
- scientific article; zbMATH DE number 3269854 (Why is no real title available?)
- Large infinitary languages. Model theory
- Model theory
- Invariants for -categorical, -stable theories
- The primal framework. II: Smoothness
- Categoricity for abstract classes with amalgamation
- Toward categoricity for classes with no maximal models
- Bjarni Jónsson's contributions in algebra
- Ranks and pregeometries in finite diagrams
- Forking independence from the categorical point of view
- A note on extensions of infinitary logic
- Internal sizes in \(\mu\)-abstract elementary classes
- The categoricity spectrum of large abstract elementary classes
- Shelah's eventual categoricity conjecture in universal classes. I.
- Categoricity in abstract elementary classes with no maximal models
- Main gap for locally saturated elementary submodels of a homogeneous structure
- Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
- Canonical forking in AECs
- Infinitary stability theory
- Accessible images revisited
- Building independence relations in abstract elementary classes
- Superstability and symmetry
- scientific article; zbMATH DE number 1036692 (Why is no real title available?)
- Toward a stability theory of tame abstract elementary classes
- Amalgamation, absoluteness, and categoricity
- Building prime models in fully good abstract elementary classes
- Tameness and extending frames
- Tameness from large cardinal axioms
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
- Shelah's eventual categoricity conjecture in universal classes. II
- Chains of saturated models in AECs
- Forking in short and tame abstract elementary classes
- scientific article; zbMATH DE number 5175704 (Why is no real title available?)
- Tameness and frames revisited
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Categoricity of an abstract elementary class in two successive cardinals
- Categoricity and multidimensional diagrams
- Categoricity and amalgamation for AEC, and measurable
- Downward categoricity from a successor inside a good frame
- 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}\)
- Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality
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)
