3 papers
math.LO2017
Sufficient conditions for the forcing theorem, and turning proper classes into sets
Peter Holy, Regula Krapf, Philipp Schlicht
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forci…
math.LO2017
Characterizations of pretameness and the Ord-cc
Peter Holy, Regula Krapf, Philipp Schlicht
It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of , that is wit…
math.LO2017
Class forcing, the forcing theorem and Boolean completions
Peter Holy, Regula Krapf, Philipp Lücke +2
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is eve…