Combinatorial Principle in the Core Model for one Woodin Cardinal. - Ernest Schimmerling (Ann. Pure Appl. Log., 1995)

Fine Structure for Tame Inner Models. - Ernest Schimmerling; John R. Steel (J. Symb. Log., 1996)

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

A Finite Family Weak Square Principle. - Ernest Schimmerling (J. Symb. Log., 1999)

The ABC's of mice. - Ernest Schimmerling (Bull. Symb. Log., 2001)

Square in core models. - Ernest Schimmerling; Martin Zeman (Bull. Symb. Log., 2001)

The Jensen Covering Property. - Ernest Schimmerling; W. Hugh Woodin (J. Symb. Log., 2001)

Characterization of □κ in Core Models. - Ernest Schimmerling; Martin Zeman (J. Math. Log., 2004)

Collapsing functions. - Ernest Schimmerling; Boban Velickovic (Math. Log. Q., 2004)

Diamond and antichains. - James Cummings 001; Ernest Schimmerling (Arch. Math. Log., 2005)

A Question about Suslin Trees and the Weak Square Hierarchy. - Ernest Schimmerling (Notre Dame J. Formal Log., 2005)

Cardinal transfer properties in extender models. - Ernest Schimmerling; Martin Zeman (Ann. Pure Appl. Log., 2008)

Hierarchies of forcing axioms I. - Itay Neeman; Ernest Schimmerling (J. Symb. Log., 2008)

Organic and tight. - James Cummings 001; Matthew Foreman 001; Ernest Schimmerling (Ann. Pure Appl. Log., 2009)

Stacking mice. - Ronald Jensen; Ernest Schimmerling; Ralf Schindler; John R. Steel (J. Symb. Log., 2009)

An equiconsistency Result on Partial squares. - John Krueger; Ernest Schimmerling (J. Math. Log., 2011)

Some Calkin algebras have outer automorphisms. - Ilijas Farah; Paul McKenney; Ernest Schimmerling (Arch. Math. Log., 2013)

Separating weak partial square principles. - John Krueger; Ernest Schimmerling (Ann. Pure Appl. Log., 2014)

John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257-343. - Ernest Schimmerling (Bull. Symb. Log., 2016)

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