Constructing many atomic models in _1

DOI10.1017/JSL.2015.81zbMATH Open1383.03045arXiv1503.00318OpenAlexW2183652928MaRDI QIDQ2976384FDOQ2976384

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)

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$.

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

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

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)

Cites Work

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

Cited In (8)

• The number of atomic models of uncountable theories
• When does \(\aleph_1\)-categoricity imply \(\omega\)-stability?
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• Hanf numbers for extendibility and related phenomena
• On ℵ₁ many minimal models
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• Title not available (Why is that?)
• 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)