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

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