Sharps and the 13 correctness of K
Abstract
Steel and Welch have shown that K is 13 correct if the reals are closed under sharps but 0πstol doesn't exist. We'll give a simple and purely combinatorial proof of the following: K is 13 correct if the reals are closed under sharps, there is no inner model with a Woodin cardinal, K exists, and * holds. Here, * is an assertion which can easily be verified if 0πstol doesn't exist. We conjecture that * holds outright. (* is denoted by in the paper.)
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.