Constructing many atomic models in _1

DOI10.1017/JSL.2015.81MaRDI QIDQ2976384zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, S. Shelah, M. C. Laskowski

Publication date 28 April 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcinginfinitary logicatomic modelspseudo-minimality

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52)

Abstract: We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{omeg{a}_1,omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language with an atomic model. If the pseudo-minimal types are not dense, then there are $2^{alep{h}_1}$ pairwise non-isomorphic atomic models of $T$, each of size $alep{h}_1$.

Recommendations

• The number of atomic models of uncountable theories
• On the existence of atomic models
• ON PSEUDO ‐N₀‐CATEGORICAL THEORIES
• Finding \(2^{\aleph_0}\) countable models for ordered theories
• On atomic models

Cites work

• Categoricity
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Model Theory

Cited in

(8)

• The number of atomic models of uncountable theories
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• When does \(\aleph_1\)-categoricity imply \(\omega\)-stability?
• Hanf numbers for extendibility and related phenomena
• On ℵ₁ many minimal models
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• scientific article; zbMATH DE number 2222026 (Why is no real title available?)
• A strong failure of \(\aleph _0\)-stability for atomic classes

This page was built for publication: Constructing many atomic models in \(\aleph_1\)

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