P-NDOP and P-decompositions of _ -saturated models of superstable theories
From MaRDI portal
Publication:5499007
Abstract: Assume a complete superstable theory is superstable, and let P be a class of regular types, typically closed under automorphisms of the monster and non-orthogonality. We define the notion of P-NDOP and prove the existence of P-decompositions and derive an analog of Sh401 for superstable theories with P-NDOP. In this context, we also find a sufficient condition on P-decompositions that imply non-isomorphic models. For this, we investigate natural structures on the types in Pintersect S(M) modulo non-orthogonality.
Recommendations
- Decompositions of saturated models of stable theories
- Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory
- scientific article; zbMATH DE number 175748
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
- On the existence of regular types
Cites work
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Borel completeness of some \(\aleph_{0}\)-stable theories
- Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory
- Decompositions of saturated models of stable theories
Cited in
(3)
This page was built for publication: \(\mathbf P\)-NDOP and \(\mathbf P\)-decompositions of \(\aleph_{\epsilon} \)-saturated models of superstable theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5499007)
