Unreachability of Inductive-Like Pointclasses in L(R)
Abstract
Hjorth proved from ZF + AD + DC that there is no sequence of distinct 12 sets of length δ12. Sargsyan extended Hjorth's technique to show there is no sequence of distinct 12n sets of length δ12n. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in L(R) -- i.e. if is a regular Suslin cardinal in L(R), then there is no sequence of distinct -Suslin sets of length + in L(R). We prove this in the case that the pointclass S() is inductive-like.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.