$L(\mathbb{R})$中归纳样点类的不可达性
摘要：$ZF + AD + DC$下不存在长度为$δ^1_2$的不同的$\Sigma^1_2$集合序列。Sargsyan将Hjorth的技术推广，证明了不存在长度为$δ^1_{2n}$的不同的$\Sigma^1_{2n}$集合序列。Sargsyan猜测在$L(R)$中的任何正则Suslin点类都存在类似的特性——即如果$kappa$是$L(R)$中的一个正则Suslin基数，则在$L(R)$中不存在长度为$kappa^+$的不同的$kappa$-Suslin集合序列。我们证明了此结论在点类$S(kappa)$是归纳类的情况下成立。
作者：Derek Levinson, Itay Neeman, Grigor Sargsyan
论文ID：2210.10076
分类：Logic
分类简称：math.LO
提交时间：2023-06-29