Fat sets and saturated ideals. - John Krueger (J. Symb. Log., 2003)

Strong compactness and stationary sets. - John Krueger (J. Symb. Log., 2005)

Adding clubs with square. - John Krueger (Ann. Pure Appl. Log., 2006)

Radin forcing and its iterations. - John Krueger (Arch. Math. Log., 2007)

Internal Approachability and Reflection. - John Krueger (J. Math. Log., 2008)

A general Mitchell style iteration. - John Krueger (Math. Log. Q., 2008)

Dense non-reflection for stationary collections of countable sets. - David Asperó; John Krueger; Yasuo Yoshinobu (Ann. Pure Appl. Log., 2009)

Some applications of mixed support iterations. - John Krueger (Ann. Pure Appl. Log., 2009)

Approachability at the second successor of a singular cardinal. - Moti Gitik; John Krueger (J. Symb. Log., 2009)

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

Weak compactness and no partial squares. - John Krueger (J. Symb. Log., 2011)

Namba forcing and no good scale. - John Krueger (J. Symb. Log., 2013)

Successive cardinals with no partial square. - John Krueger (Arch. Math. Log., 2014)

Strongly adequate sets and adding a club with finite conditions. - John Krueger (Arch. Math. Log., 2014)

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

Adding a club with finite conditions, Part II. - John Krueger (Arch. Math. Log., 2015)

Coherent adequate forcing and preserving CH. - John Krueger; Miguel Angel Mota (J. Math. Log., 2015)

Quotients of strongly Proper Forcings and Guessing Models. - Sean Cox 001; John Krueger (J. Symb. Log., 2016)

Mitchell's theorem revisited. - Thomas Gilton; John Krueger (Ann. Pure Appl. Log., 2017)

Forcing with adequate sets of models as side conditions. - John Krueger (Math. Log. Q., 2017)

Club isomorphisms on higher Aronszajn trees. - John Krueger (Ann. Pure Appl. Log., 2018)

Namba forcing, Weak Approximation, and Guessing. - Sean Cox 001; John Krueger (J. Symb. Log., 2018)

The approachability ideal without a maximal set. - John Krueger (Ann. Pure Appl. Log., 2019)

The Harrington-Shelah Model with Large continuum. - Thomas Gilton; John Krueger (J. Symb. Log., 2019)

A forcing axiom for a non-special Aronszajn tree. - John Krueger (Ann. Pure Appl. Log., 2020)

A large pairwise far family of Aronszajn trees. - John Krueger (Ann. Pure Appl. Log., 2023)

Suslin Tree Preservation and Club Isomorphisms. - John Krueger (J. Symb. Log., 2025)