Sets Constructible from Sequences of Ultrafilters. - William J. Mitchell 002 (J. Symb. Log., 1974)

On the Ultrafilter of Closed, Unbounded Sets. - D. A. Martin; William John Mitchell (J. Symb. Log., 1979)

Ramsey Cardinals and Constructibility. - William J. Mitchell 002 (J. Symb. Log., 1979)

Precipitous Ideals. - Thomas Jech; Menachem Magidor; William John Mitchell; Karel Prikry (J. Symb. Log., 1980)

Some examples of precipitous ideals. - Thomas J. Jech; William J. Mitchell 002 (Ann. Pure Appl. Log., 1983)

Sets Constructed from Sequences of Measures: Revisited. - William J. Mitchell 002 (J. Symb. Log., 1983)

Prikry Forcing at kappa+ and Beyond. - William J. Mitchell 002 (J. Symb. Log., 1987)

An Infinitary Ramsey Property. - William J. Mitchell 002 (Ann. Pure Appl. Log., 1992)

Fine Structure and Iteration Trees. - William J. Mitchell 002; John R. Steel (Springer, 1994)

Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis. - Moti Gitik; William J. Mitchell 002 (Ann. Pure Appl. Log., 1996)

The Covering Lemma up to a Woodin Cardinal. - William J. Mitchell 002; Ernest Schimmerling; John R. Steel (Ann. Pure Appl. Log., 1997)

The Complexity of The Core Model. - William J. Mitchell 002 (J. Symb. Log., 1998)

Jónsson Cardinals, Erdös Cardinals, and The Core Model. - William J. Mitchell 002 (J. Symb. Log., 1999)

A Gitik iteration with nearly Easton factoring. - William J. Mitchell 002 (J. Symb. Log., 2003)

A weak variation of Shelah's I[omega2]. - William J. Mitchell 002 (J. Symb. Log., 2004)

A universal extender model without large cardinals in V. - William J. Mitchell 002; Ralf Schindler (J. Symb. Log., 2004)

Adding Closed Unbounded Subsets of ω2 with Finite Forcing. - William J. Mitchell 002 (Notre Dame J. Formal Log., 2005)

On the Hamkins approximation property. - William J. Mitchell 002 (Ann. Pure Appl. Log., 2006)

Partitions of large Rado graphs. - Mirna Dzamonja; Jean A. Larson; William J. Mitchell 002 (Arch. Math. Log., 2009)

Inner Models for Large Cardinals. - William J. Mitchell 002 (Sets and Extensions in the Twentieth Century, 2012)

Fine Structure and Iteration Trees - William J. Mitchell 002; John R. Steel (Cambridge University Press, 2017)

The sharp for the Chang model is small. - William J. Mitchell 002 (Arch. Math. Log., 2017)

Covering at limit cardinals of K. - William J. Mitchell 002; Ernest Schimmerling (J. Math. Log., 2024)