Sharps and the Σ^1_3 correctness of K

Steel and Welch have shown that K is Σ^1_3 correct if the reals are closed under sharps but 0^\pistol doesn't exist. We'll give a simple and purely combinatorial proof of the following: K is Σ^1_3 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^\pistol doesn't exist. We conjecture that * holds outright. (* is denoted by \clubsuit in the paper.)

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.