Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 55, Number 4 (2014), 533-551.
Notes on Cardinals That Are Characterizable by a Complete (Scott) Sentence
This is the first part of a study on cardinals that are characterizable by Scott sentences. Building on previous work of Hjorth, Malitz, and Baumgartner, we study which cardinals are characterizable by a Scott sentence , in the sense that characterizes , if has a model of size but no models of size .
We show that the set of cardinals that are characterized by a Scott sentence is closed under successors, countable unions, and countable products (see Theorems 3.3 and 4.6 and Corollary 4.8). We also prove that if is characterized by a Scott sentence, at least one of , , or is homogeneously characterizable (see Definitions 1.3 and 1.4 and Theorem 3.19). Based on an argument of Shelah, we give counterexamples that characterizable cardinals are not closed under predecessors or cofinalities.
Notre Dame J. Formal Logic, Volume 55, Number 4 (2014), 533-551.
First available in Project Euclid: 7 November 2014
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03C75: Other infinitary logic 03C30: Other model constructions
Secondary: 03C35: Categoricity and completeness of theories 03E10: Ordinal and cardinal numbers 03E75: Applications of set theory
Souldatos, Ioannis. Notes on Cardinals That Are Characterizable by a Complete (Scott) Sentence. Notre Dame J. Formal Logic 55 (2014), no. 4, 533--551. doi:10.1215/00294527-2798727. https://projecteuclid.org/euclid.ndjfl/1415382954