Σ 1-wellorders without collapsing. - Peter Holy (Arch. Math. Log., 2015)

Forcing lightface definable well-orders without the GCH. - David Asperó; Peter Holy; Philipp Lücke (Ann. Pure Appl. Log., 2015)

Large Cardinals and Lightface Definable Well-Orders, without the GCH. - Sy-David Friedman; Peter Holy; Philipp Lücke (J. Symb. Log., 2015)

Local Club Condensation and L-Likeness. - Peter Holy; Philip D. Welch; Liuzhen Wu (J. Symb. Log., 2015)

Class forcing, the forcing Theorem and Boolean Completions. - Peter Holy; Regula Krapf; Philipp Lücke; Ana Njegomir; Philipp Schlicht (J. Symb. Log., 2016)

Characterizations of pretameness and the Ord-cc. - Peter Holy; Regula Krapf; Philipp Schlicht (Ann. Pure Appl. Log., 2018)

Small embedding characterizations for large cardinals. - Peter Holy; Philipp Lücke; Ana Njegomir (Ann. Pure Appl. Log., 2019)

The exact strength of the class forcing Theorem. - Victoria Gitman; Joel David Hamkins; Peter Holy; Philipp Schlicht; Kameryn J. Williams (J. Symb. Log., 2020)

Small models, large cardinals, and induced ideals. - Peter Holy; Philipp Lücke (Ann. Pure Appl. Log., 2021)

Ideal topologies in higher descriptive set theory. - Peter Holy; Marlene Koelbing; Philipp Schlicht; Wolfgang Wohofsky (Ann. Pure Appl. Log., 2022)

An Axiomatic Approach to forcing in a General Setting. - Rodrigo A. Freire; Peter Holy (Bull. Symb. Log., 2022)

Ideal operators and Higher Indescribability. - Brent Cody; Peter Holy (J. Symb. Log., 2023)

An ordinal-connection axiom as a weak form of global choice under the GCH. - Rodrigo A. Freire; Peter Holy (Arch. Math. Log., 2023)

Asymmetric Cut and Choose Games. - Christopher Henney-Turner; Peter Holy; Philipp Schlicht; Philip D. Welch (Bull. Symb. Log., 2023)