On the existence of regular types

DOI10.1016/0168-0072(89)90039-0MaRDI QIDQ911582zbMATH OpenOpenAlexFDO

Authors S. Shelah, Steven Buechler

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/0168-0072(89)90039-0

zbMATH Keywords

isolation relationNDOPprime modelregular typessuperstable theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Review text

Suppose that T is superstable and \(M\subseteq N\) are distinct models of \(T^{eq}\). The main results of the paper state the existence of regular types over M which are realized in N (without or with some additional conditions). Their analogs are well known for totally transcendental theories. Using these results the authors obtain tree decompositions of models in superstable theories with NDOP and show the constructibility of a model over its decomposition with respect to a very strong isolation relation.

Recommendations

• A dichotomy theorem for regular types
• Almost orthogonal regular types
• On the number of nonisomorphic models of size |T|
• \(\mathbf P\)-NDOP and \(\mathbf P\)-decompositions of \(\aleph_{\epsilon} \)-saturated models of superstable theories
• Stability and omitting types

Cites work

• A dichotomy theorem for regular types
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Dimensional order property and pairs of models
• scientific article; zbMATH DE number 4047697 (Why is no real title available?)
• scientific article; zbMATH DE number 4068846 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• On nontrivial types of U-rank 1
• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap

Cited in

(13)

• Stability and omitting types
• A note on trivial nonmultidimensional superstable theories
• Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory
• Classifiable theories without finitary invariants
• Some remarks on nonmultidimensional superstable theories
• Unique decomposition in classifiable theories
• Theories with few non-algebraic types over models, and their decompositions
• scientific article; zbMATH DE number 5258133 (Why is no real title available?)
• Decompositions of saturated models of stable theories
• \(\mathbf P\)-NDOP and \(\mathbf P\)-decompositions of \(\aleph_{\epsilon} \)-saturated models of superstable theories
• Twins: non-isomorphic models forced to be isomorphic. I
• Almost orthogonal regular types
• A dichotomy theorem for regular types

This page was built for publication: On the existence of regular types

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