On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
Abstract
In a handwtitten note of 1975, Leo Harrington sketched a construction of a model of ZFC (no large cardinals or anything beyond ZFC!) in which 13-Separation holds but 13-Reduction fails. The result has never appeared in a journal or book publication except for a few of old references.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.