Categoricity over P for first order T or categoricity for L__ 1 can stop at _ k while holding for _ 0, ,_k-1
From MaRDI portal
Publication:757348
Abstract: Suppose L is a relational language and P in L is a unary predicate. If M is an L-structure then P(M) is the L-structure formed as the substructure of M with domain {a: M models P(a)}. Now suppose T is a complete first order theory in L with infinite models. Following Hodges, we say that T is relatively lambda-categorical if whenever M, N models T, P(M)=P(N), |P(M)|= lambda then there is an isomorphism i:M-> N which is the identity on P(M). T is relatively categorical if it is relatively lambda-categorical for every lambda. The question arises whether the relative lambda-categoricity of T for some lambda >|T| implies that T is relatively categorical. In this paper, we provide an example, for every k>0, of a theory T_k and an L_{omega_1 omega} sentence varphi_k so that T_k is relatively aleph_n-categorical for n < k and varphi_k is aleph_n-categorical for n<k but T_k is not relatively beth_k-categorical and varphi_k is not beth_k-categorical.
Recommendations
Cites work
- scientific article; zbMATH DE number 3819693 (Why is no real title available?)
- scientific article; zbMATH DE number 3496142 (Why is no real title available?)
- scientific article; zbMATH DE number 1405576 (Why is no real title available?)
- A minimal prime model with an infinite set of indiscernibles
- Around classification theory of models
- Book review of: K. Tent and M. Ziegler, A course in model theory
- Categoricity in Power
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Classification theory over a predicate. I
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Omega-categoricity, relative categoricity and coordinatisation
- \(\aleph_0\)-categoricity over a predicate
Cited in
(36)- Categoricity transfer in simple finitary abstract elementary classes
- Saturation and solvability in abstract elementary classes with amalgamation
- Categoricity in abstract elementary classes with no maximal models
- Categoricity of an abstract elementary class in two successive cardinals
- Shelah's eventual categoricity conjecture in universal classes. I.
- Good frames in the Hart-Shelah example
- Forking in short and tame abstract elementary classes
- Tameness from two successive good frames
- Infinitary stability theory
- Downward categoricity from a successor inside a good frame
- The Hart-Shelah example, in stronger logics
- Tameness and frames revisited
- Categoricity, amalgamation, and tameness
- Symmetry and the union of saturated models in superstable abstract elementary classes
- Categoricity without equality
- Polish algebras, shy from freedom.
- Omega-categoricity, relative categoricity and coordinatisation
- The Fraenkel-Carnap question for limited higher-order languages
- The categoricity spectrum of large abstract elementary classes
- Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
- Structural logic and abstract elementary classes with intersections
- Abstract elementary classes stable in \(\aleph_{0}\)
- Main gap for locally saturated elementary submodels of a homogeneous structure
- A kind of categoricity
- Tameness from large cardinal axioms
- Beginning of stability theory for Polish spaces
- UNIVERSAL CLASSES NEAR ${\aleph _1}$
- On the categoricity theorem in \(L_{\omega _ 1\omega}\)
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Type-amalgamation properties and polygroupoids in stable theories
- DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
- Notes on Quasiminimality and Excellence
- Relative categoricity in abelian groups. II
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- Tameness and extending frames
This page was built for publication: 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}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757348)
