TY  - RPRT
TI  - Class forcing, the forcing theorem and Boolean completions
AU  - Peter Holy
AU  - Regula Krapf
AU  - Philipp Lücke
AU  - Ana Njegomir
AU  - Philipp Schlicht
PY  - 2017
UR  - https://arxiv.org/abs/1710.10820
ID  - 1710.10820
ER  -