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
DOI10.1007/BF02807869zbMATH Open0723.03017arXivmath/9201240OpenAlexW1978825183MaRDI QIDQ757348FDOQ757348
Authors: S. Shelah, Bradd Hart 
Publication date: 1990
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/math/9201240
Recommendations
Cites Work
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- A minimal prime model with an infinite set of indiscernibles
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Around classification theory of models
- Categoricity in Power
- Classification theory over a predicate. I
- \(\aleph_0\)-categoricity over a predicate
- Book review of: K. Tent and M. Ziegler, A course in model theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Omega-categoricity, relative categoricity and coordinatisation
Cited In (36)
- Downward categoricity from a successor inside a good frame
- A kind of categoricity
- On the categoricity theorem in \(L_{\omega _ 1\omega}\)
- Infinitary stability theory
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Tameness and extending frames
- Main gap for locally saturated elementary submodels of a homogeneous structure
- Forking in short and tame abstract elementary classes
- The Fraenkel-Carnap question for limited higher-order languages
- DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
- Categoricity of an abstract elementary class in two successive cardinals
- Categoricity, amalgamation, and tameness
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- Tameness from two successive good frames
- Saturation and solvability in abstract elementary classes with amalgamation
- Beginning of stability theory for Polish spaces
- Relative categoricity in abelian groups. II
- Abstract elementary classes stable in \(\aleph_{0}\)
- Tameness from large cardinal axioms
- Categoricity without equality
- Polish algebras, shy from freedom.
- Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
- Good frames in the Hart-Shelah example
- The Hart-Shelah example, in stronger logics
- Notes on Quasiminimality and Excellence
- Omega-categoricity, relative categoricity and coordinatisation
- The categoricity spectrum of large abstract elementary classes
- Symmetry and the union of saturated models in superstable abstract elementary classes
- Structural logic and abstract elementary classes with intersections
- Categoricity in abstract elementary classes with no maximal models
- Tameness and frames revisited
- Categoricity transfer in simple finitary abstract elementary classes
- Shelah's eventual categoricity conjecture in universal classes. I.
- Type-amalgamation properties and polygroupoids in stable theories
- UNIVERSAL CLASSES NEAR ${\aleph _1}$
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)
