William J. Mitchell

21 papers Journal 18
YearRankTypeTitle / Venue / Authors
2024 J jnl
Covering at limit cardinals of K.
J. Math. Log.
William J. Mitchell, Ernest Schimmerling
2017 — book
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017 J jnl
The sharp for the Chang model is small.
Arch. Math. Log.
William J. Mitchell
2012 — ch.
Inner Models for Large Cardinals.
Sets and Extensions in the Twentieth Century
William J. Mitchell
2009 J jnl
Partitions of large Rado graphs.
Arch. Math. Log.
Mirna Dzamonja, Jean A. Larson, William J. Mitchell
2006 J jnl
On the Hamkins approximation property.
Ann. Pure Appl. Log.
William J. Mitchell
2005 J jnl
Adding Closed Unbounded Subsets of ω
Notre Dame J. Formal Log.
William J. Mitchell
2004 J jnl
A universal extender model without large cardinals in
J. Symb. Log.
William J. Mitchell, Ralf Schindler
2004 J jnl
A weak variation of Shelah's I[omega
J. Symb. Log.
William J. Mitchell
2003 J jnl
A Gitik iteration with nearly Easton factoring.
J. Symb. Log.
William J. Mitchell
1999 J jnl
Jónsson Cardinals, Erdös Cardinals, and The Core Model.
J. Symb. Log.
William J. Mitchell
1998 J jnl
The Complexity of The Core Model.
J. Symb. Log.
William J. Mitchell
1997 J jnl
The Covering Lemma up to a Woodin Cardinal.
Ann. Pure Appl. Log.
William J. Mitchell, Ernest Schimmerling, John R. Steel
1996 J jnl
Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis.
Ann. Pure Appl. Log.
Moti Gitik, William J. Mitchell
1994 — book
Fine Structure and Iteration Trees.
William J. Mitchell, John R. Steel
1992 J jnl
An Infinitary Ramsey Property.
Ann. Pure Appl. Log.
William J. Mitchell
1987 J jnl
Prikry Forcing at kappa
J. Symb. Log.
William J. Mitchell
1983 J jnl
Sets Constructed from Sequences of Measures: Revisited.
J. Symb. Log.
William J. Mitchell
1983 J jnl
Some examples of precipitous ideals.
Ann. Pure Appl. Log.
Thomas J. Jech, William J. Mitchell
1979 J jnl
Ramsey Cardinals and Constructibility.
J. Symb. Log.
William J. Mitchell
1974 J jnl
Sets Constructible from Sequences of Ultrafilters.
J. Symb. Log.
William J. Mitchell