当前位置:
X-MOL 学术
›
Arch. Math. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2024-02-14 , DOI: 10.1007/s00153-024-00907-8 Franklin D. Tall , Jing Zhang
中文翻译:
关于可数模型数量的莫利定理的二阶版本不需要大基数
更新日期:2024-02-14
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2024-02-14 , DOI: 10.1007/s00153-024-00907-8 Franklin D. Tall , Jing Zhang
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.
中文翻译:
关于可数模型数量的莫利定理的二阶版本不需要大基数
莫利定理关于可数模型数量的二阶版本的一致性在[EHMT23]中借助大基数得到了证明。我们在这里放弃它们。