Regula Krapf

TL;DR: In this paper, it was shown that pretameness is not only a strong dividing line between well and badly behaved notions of class forcing, but also has other characterizations, such as the forcing equivalence of partial orders and their dense suborders, and the existence of nice names for sets of ordinals.

TL;DR: In this article, it was shown that the forcing relation for any set forcing is definable and the truth lemma holds, that is, everything that holds in a generic extension is forced by a condition in the relevant generic filter.

TL;DR: In this article , the authors investigate how the provision of guided notes in an undergraduate mathematics course can support student learning and find that students value guided notes as a tool to remain focussed during the lecture, to process and store new information and to foster active engagement.

TL;DR: In this article, it was shown that all known sufficent conditions for the forcing theorem, including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model cannot become sets in a generic extension.