arXiv · 2210.10076
Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
Abstract
Hjorth proved from $ZF + AD + DC$ that there is no sequence of distinct $\Sigma^1_2$ sets of length $\delta^1_2$. Sargsyan extended Hjorth's technique to show there is no sequence of distinct $\Sigma^1_{2n}$ sets of length $\delta^1_{2n}$. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in $L(R)$ -- i.e. if $\kappa$ is a regular Suslin cardinal in $L(R)$, then there is no sequence of distinct $\kappa$-Suslin sets of length $\kappa^+$ in $L(R)$. We prove this in the case that the pointclass $S(\kappa)$ is inductive-like.
Explore related subjects
Keep this discovery
Derek Levinson, Itay Neeman, Grigor Sargsyan. 2022-10-18. Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$. https://doi.org/10.1017/jsl.2025.10170
Cite the original work for its findings. Save a collection to share your selection of sources.