26 citations · 58 across the 31 of their papers we have counts for
4 papers · 1 filter
Pcf theory and Woodin cardinals
Moti Gitik, Ralf Schindler, Saharon Shelah
We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}…
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…
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…
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.