Source author record

William J. Mitchell

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

3works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint1997arXiv

The covering lemma up to a Woodin cardinal

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.)

preprint1992arXiv

On the Singular Cardinal Hypothesis

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.

preprint1992arXiv

The Complexity of the Core Model

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.