The second-order version of Morley’s theorem on the number of countable models does not require large cardinals

被引：0
作者：
Franklin D. Tall
Jing Zhang
机构：
[1] University of Toronto,Department of Mathematics
来源：
Archive for Mathematical Logic | 2024年 / 63卷
关键词：
Morley’s theorem; Countable models; Cohen forcing; -projective equivalence relations; Large cardinals; Generic absoluteness; Primary 03C85; 03C55; 03E35; 03C52;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：483 / 490
页数：7
相关论文
共 12 条
[1]  
Aguilera JP(2021)Long games and Ann. Pure Appl. Logic 172 783-793
[2]  
Müller S(2006)-projective sets Arch. Math. Logic 45 25-97
[3]  
Schlicht P(2023)Projective well-orderings of the reals Ann. Pure Appl. Logic 174 47-18
[4]  
Caicedo AE(1995)An undecidable extension of Morley’s theorem on the number of countable models Ann. Pure Appl. Logic 76 14-undefined
[5]  
Schindler R(1970)Large cardinals and definable counterexamples to the continuum hypothesis J. Symb. Logic 35 undefined-undefined
[6]  
Eagle CJ(undefined)The number of countable models undefined undefined undefined-undefined
[7]  
Hamel C(undefined)undefined undefined undefined undefined-undefined
[8]  
Müller S(undefined)undefined undefined undefined undefined-undefined
[9]  
Tall FD(undefined)undefined undefined undefined undefined-undefined
[10]  
Foreman M(undefined)undefined undefined undefined undefined-undefined
12