Showing 1–5 of 5 results for author: Mitchell, W J

One Repeat Point Gives a Closed, Unbounded Ultrafilter on {ω_1}

Authors: William J. Mitchell

Abstract: It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 is an ultrafilter" is exactly ZFC + one measurable cardinal. It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 is an ultrafilter" is exactly ZFC + one measurable cardinal. △ Less

Submitted 19 September, 2023; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: The proof is incorrect, and I doubt that the construction will in fact produce the desired ultrafilter

MSC Class: 03E35; 03E25;

I[omega_2] can be the nonstationary ideal on Cof(omega_1)

Authors: William J. Mitchell

Abstract: We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa. We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa. △ Less

Submitted 30 April, 2007; v1 submitted 13 July, 2004; originally announced July 2004.

Comments: version 4 of the paper has been extensively revised in response to the referee report from TAMS. I expect it to appear in TAMS

MSC Class: 03E35

The covering lemma up to a Woodin cardinal

Authors: William J. Mitchell, Ernest Schimmerling, John R. Steel

Abstract: A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and that alpha is a successor cardinal of K with kappa < alpha < kappa^+. Then cf( alpha ) = kappa. In particular, K computes successors of countably… ▽ More A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and that alpha is a successor cardinal of K with kappa < alpha < kappa^+. Then cf( alpha ) = kappa. In particular, K computes successors of countably closed singular cardinals correctly. (The hypothesis of countable closure is not required; see "Weak covering without countable closure", W. J. Mitchell and E. Schimmerling, Math. Res. Lett., Vol. 2, No. 5, Sept. 1995.) △ Less

Submitted 17 February, 1997; originally announced February 1997.

Report number: Logic E-prints February 18, 1997

The Complexity of the Core Model

Authors: William J. Mitchell

Abstract: 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 complexity of the statement "(omega,E)$ is isomorphic to a member of the core model" is Delta^1_5. 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 complexity of the statement "(omega,E)$ is isomorphic to a member of the core model" is Delta^1_5. △ Less

Submitted 6 October, 1992; originally announced October 1992.

Report number: Logic E-prints October 07, 1992

On the Singular Cardinal Hypothesis

Authors: William J. Mitchell

Abstract: 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 cardinal $κ$ such that $2^κ> kappa^+$ then there is an inner model with a cardinal $κ$ such that for all ordinals $α<κ$ there is an ordinal $ν< κ$ with $o(ν) > α$. (ii) If there is a singular strong limit cardinal… ▽ More 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 cardinal $κ$ such that $2^κ> kappa^+$ then there is an inner model with a cardinal $κ$ such that for all ordinals $α<κ$ there is an ordinal $ν< κ$ with $o(ν) > α$. (ii) If there is a singular strong limit cardinal $κ$ of uncountable cofinality such that $2^κ> κ^+$ then there is an inner model with $o(κ) = κ^{++}$. Since this paper was originally submitted, Gitik has improved this result to give exact lower bounds. △ Less

Submitted 5 April, 1992; originally announced April 1992.

Report number: Logic E-prints April 6, 1992