Class forcing, the forcing theorem and Boolean completions - Peter Holy; Regula Krapf; Philipp Lücke; Ana Njegomir; Philipp Schlicht (2017)