5 citations · 18 across the 9 of their papers we have counts for
Showing 1992Show all
2 papers · 1 filter
math.LO1992
The Complexity of the Core Model
William J. Mitchell
We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the co…
math.LO1992
On the Singular Cardinal Hypothesis
William J. Mitchell
We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit c…