CONSTRUCTING MANY ATOMIC MODELS IN ℵ1

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

Saharon Shelah, John T. Baldwin, 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

forcing; infinitary logic; atomic models; pseudo-minimality

Mathematics Subject Classification ID

03C45: Classification theory, stability, and related concepts in model theory

03C52: Properties of classes of models

03C48: Abstract elementary classes and related topics