2 citations · 3 across the 4 of their papers we have counts for
Showing 2002Show all
3 papers · 1 filter
math.LO2002
Cardinal arithmetic and Woodin cardinals
Ralf Schindler
Suppose that there is a measurable cardinal. If \aleph_ωis a strong limit cardinal, but the power of \aleph_ωis bigger than \aleph_{ω_1}, then there is an inner model with a Woodin…
math.LO2002
Sharps and the Σ^1_3 correctness of K
Ralf Schindler
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 follo…
math.LO2002
A simple proof of Σ^1_3 correctness of K
Ralf Schindler
We present a simple and purely combinatorial proof of Steel's result according to which the core model is Σ^1_3 correct under the appropriate hypotheses.