TY  - RPRT
TI  - Sufficient conditions for the forcing theorem, and turning proper classes into sets
AU  - Peter Holy
AU  - Regula Krapf
AU  - Philipp Schlicht
PY  - 2017
UR  - https://arxiv.org/abs/1710.10826
ID  - 1710.10826
ER  -