The universality spectrum of stable unsuperstable theories

DOI10.1016/0168-0072(92)90034-WMaRDI QIDQ1194244zbMATH OpenFDO

Authors Menachem Kojman, S. Shelah

Publication date 27 September 1992

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

Full work available at URL https://arxiv.org/abs/math/9201253

zbMATH Keywords

stable unsuperstable first-order theoriesuniversal modeluniversal spectrum

Mathematics Subject Classification ID

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

Abstract: It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0} then T has no universal model in aleph_omega. These results are generalized to kappa =cf(kappa) < kappa (T) in the place of aleph_0. Also: if there is a universal model in lambda >|T|, T stable and kappa < kappa (T) then there is a universal tree of height kappa +1 in cardinality lambda .

Recommendations

• The spectrum problem. III: Universal theories
• A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property
• scientific article; zbMATH DE number 524139
• On the existence of universal models
• A non structure theorem for an infinitary theory which has the unsuperstability property

Cites work

• Classification theory and the number of non-isomorphic models.
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• Independence results
• Nonexistence of universal orders in many cardinals
• Universal graphs without instances of CH: Revisited

Cited in

(25)

• A non structure theorem for an infinitary theory which has the unsuperstability property
• The spectrum problem. III: Universal theories
• Universal theories categorical in power and \(\kappa\)-generated models
• On \(\vartriangleleft^{*}\)-maximality.
• On the existence of universal models
• Universal abelian groups
• Toward classifying unstable theories
• Remarks on generic stability in independent theories
• No universal in singular
• On properties of theories which preclude the existence of universal models
• Almost isometric embedding between metric spaces
• Universality: new criterion for non-existence
• The stability spectrum for classes of atomic models
• Universality results for well-founded posets
• Universal structures in power ℵ₁
• A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property
• scientific article; zbMATH DE number 4081522 (Why is no real title available?)
• Nonexistence of universal orders in many cardinals
• scientific article; zbMATH DE number 524139 (Why is no real title available?)
• Compactly expandable models and stability
• Club guessing sequences and filters
• Rich models
• Club guessing and the universal models
• A tail club guessing ideal can be saturated without being a restriction of the nonstationary ideal
• Universality for orders and graphs which omit large substructures

This page was built for publication: The universality spectrum of stable unsuperstable theories

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