The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
arXiv:2401.10454
Abstract
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.