Complete $\mathcal{L}_{ω_1,ω}$-Sentences with Maximal Models in Multiple Cardinalities
John T. Baldwin, Ioannis A. Souldatos · arXiv (Cornell University) · 2015
In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $L_{ω_1,ω}$-sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of $κ$ we construct sentences with maximal models in $κ$ and in one of $κ^+, κ^ω, 2^κ$ and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.