Abstract
Theorem: There is a complete sentence φ of Lω1,ω such that φ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while φ has no maximal models in any χ ≥ μ.
| Original language | English |
|---|---|
| Article number | 2250011 |
| Journal | Journal of Mathematical Logic |
| Volume | 24 |
| Issue number | 1 |
| DOIs | |
| State | Published - 1 Apr 2024 |
Bibliographical note
Publisher Copyright:© World Scientific Publishing Company.
Keywords
- Hanf number
- Lω,ω
- measurable cardinal