DOI10.4064/fm213-3-5zbMath1254.03072MaRDI QIDQ3018118
Saharon Shelah, John T. Baldwin
Publication date: 21 July 2011 Published in: Fundamenta Mathematicae (Search for Journal in Brave) Full work available at URL: https://doi.org/10.4064/fm213-3-5
zbMATH Keywords
second-order logic; saturated models; omitting types; Hanf number
Mathematics Subject Classification ID
03C85: Second- and higher-order model theory
03C52: Properties of classes of models