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.

Discussion (0)

Sign in to join the discussion.

Loading comments…