Games Played on Boolean Algebras. - Matthew Foreman 001 (J. Symb. Log., 1983)

0 # and Some Forcing Principles. - Matthew Foreman 001; Menachem Magidor; Saharon Shelah (J. Symb. Log., 1986)

Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. - Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 1995)

A Very Weak Square Principle. - Matthew Foreman 001; Menachem Magidor (J. Symb. Log., 1997)

Stationary sets, Chang's conjecture and partition theory. - Matthew D. Foreman (Set Theory: The Hajnal Conference, 1999)

Squares, scales and stationary Reflection. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (J. Math. Log., 2001)

The Consistency Strength of Successive Cardinals with The Tree Property. - Matthew Foreman 001; Menachem Magidor; Ralf-Dieter Schindler (J. Symb. Log., 2001)

The non-compactness of square. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (J. Symb. Log., 2003)

Canonical structure in the universe of set theory: part one. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 2004)

The Club Guessing Ideal: Commentary on a Theorem of Gitik and Shelah. - Matthew Foreman 001; Péter Komjáth (J. Math. Log., 2005)

Introduction to the Special Issue on Singular Cardinals Combinatorics. - Matthew Foreman 001 (Notre Dame J. Formal Log., 2005)

Some Problems in Singular Cardinals Combinatorics. - Matthew Foreman 001 (Notre Dame J. Formal Log., 2005)

Canonical structure in the universe of set theory: part two. - James Cummings 001; Matthew Foreman 001; Menachem Magidor (Ann. Pure Appl. Log., 2006)

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

Forbidden intervals. - Matthew Foreman 001 (J. Symb. Log., 2009)

Diagonal Prikry extensions. - James Cummings 001; Matthew Foreman 001 (J. Symb. Log., 2010)

Chang's Conjecture, Generic Elementary Embeddings and Inner Models for Huge Cardinals. - Matthew Foreman 001 (Bull. Symb. Log., 2015)

Gödel Diffeomorphisms. - Matthew Foreman 001 (Bull. Symb. Log., 2020)

Games with filters I. - Matthew Foreman 001; Menachem Magidor; Martin Zeman (J. Math. Log., 2024)