On reflection principles. - Peter Koellner (Ann. Pure Appl. Log., 2009)

Incompatible Omega-complete theories. - Peter Koellner; W. Hugh Woodin (J. Symb. Log., 2009)

Strong logics of first and second order. - Peter Koellner (Bull. Symb. Log., 2010)

Themes from Gödel: Some Recent Developments. - Peter Koellner (FLAP, 2017)

Large Cardinals beyond Choice. - Joan Bagaria; Peter Koellner; W. Hugh Woodin (Bull. Symb. Log., 2019)