CONSTRUCTING MANY ATOMIC MODELS IN ℵ1

DOI10.1017/jsl.2015.81zbMath1383.03045arXiv1503.00318OpenAlexW2183652928MaRDI QIDQ2976384

John T. Baldwin, Saharon Shelah, Michael Chris Laskowski

Publication date: 28 April 2017

Published in: The 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) Properties of classes of models (03C52) Abstract elementary classes and related topics (03C48)

Related Items (4)

Hanf numbers for extendibility and related phenomena ⋮ A strong failure of \(\aleph _0\)-stability for atomic classes ⋮ HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM ⋮ DISJOINT AMALGAMATION IN LOCALLY FINITE AEC

Cites Work

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

This page was built for publication: CONSTRUCTING MANY ATOMIC MODELS IN ℵ₁