Universal structures

DOI10.1215/00294527-3800985MaRDI QIDQ2364645zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 21 July 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

classification theoryuniversal modelsabelian groupsoak property

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55) Ordered sets and their cofinalities; pcf theory (03E04) Subgroups of abelian groups (20K27)

Abstract: We deal with the existence of universal members in a given cardinality for several classes. First we deal with classes of Abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular of countable cofinality. Second, we then deal with (variants of) the oak property (from a work of Dzamonja and the author), a property of complete first order theories, sufficient for the non-existence of universal models under suitable cardinal assumptions. Third, we prove that the oak property holds for the class of groups (naturally interpreted, so for quantifier free formulas) and deal more with the existence of universals.

Recommendations

• No universal group in a cardinal
• Non-existence of universal members in classes of Abelian groups.
• scientific article; zbMATH DE number 1329675
• Canonical universal locally finite groups
• Canonical and existential groups in universal classes of abelian groups

Cited in

(23)

• On superstability in the class of flat modules and perfect rings
• Stable Absolutely Ubiquitous Structures
• No universal group in a cardinal
• scientific article; zbMATH DE number 4037830 (Why is no real title available?)
• On universal modules with pure embeddings
• On the structure of UMVUEs
• On properties of theories which preclude the existence of universal models
• A model theoretic solution to a problem of László Fuchs
• Universal constructions for large objects
• Non-existence of universal members in classes of Abelian groups.
• Induced and higher-dimensional stable independence
• scientific article; zbMATH DE number 3316887 (Why is no real title available?)
• The Universal Theory Tool Building Toolkit Is Substructural
• ULTRA-UNIVERSAL MODELS
• Structuralization of universes
• A note on torsion modules with pure embeddings
• UNIVERSAL TRELLISES
• No universal in singular
• SOME STABLE NON-ELEMENTARY CLASSES OF MODULES
• scientific article; zbMATH DE number 149878 (Why is no real title available?)
• Canonical universal locally finite groups
• Density of indecomposable locally finite groups
• Universality: new criterion for non-existence

This page was built for publication: Universal structures

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