The second-order version of Morley’s theorem on the number of countable models does not require large cardinals
摘要
The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.