English

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$

Logic 2026-03-04 v3

Abstract

Hjorth proved from ZF+AD+DCZF + AD + DC that there is no sequence of distinct Σ21\Sigma^1_2 sets of length δ21\delta^1_2. Sargsyan extended Hjorth's technique to show there is no sequence of distinct Σ2n1\Sigma^1_{2n} sets of length δ2n1\delta^1_{2n}. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in L(R)L(R) -- i.e. if κ\kappa is a regular Suslin cardinal in L(R)L(R), then there is no sequence of distinct κ\kappa-Suslin sets of length κ+\kappa^+ in L(R)L(R). We prove this in the case that the pointclass S(κ)S(\kappa) is inductive-like.

Cite

@article{arxiv.2210.10076,
  title  = {Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$},
  author = {Derek Levinson and Itay Neeman and Grigor Sargsyan},
  journal= {arXiv preprint arXiv:2210.10076},
  year   = {2026}
}
R2 v1 2026-06-28T03:56:31.638Z