Coding into K by reasonable forcing
Abstract
Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of ω1 can be made 13 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a 13 well-ordering of its reals; 2-step 14 absoluteness fails w.r.t. set-sized reasonable forcings.
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.