TY  - RPRT
TI  - The exact strength of the class forcing theorem
AU  - Victoria Gitman
AU  - Joel David Hamkins
AU  - Peter Holy
AU  - Philipp Schlicht
AU  - Kameryn Williams
PY  - 2021
DO  - 10.1017/jsl.2019.89
UR  - https://arxiv.org/abs/1707.03700
ID  - 1707.03700
ER  -