加载中…
2024-01-19
The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
Franklin D. TallJing Zhang
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本