@misc{indiciae32a0f615d9fe,
  title = {The exact strength of the class forcing theorem},
  author = {Victoria Gitman and Joel David Hamkins and Peter Holy and Philipp Schlicht and Kameryn Williams},
  year = {2021},
  doi = {10.1017/jsl.2019.89},
  url = {https://arxiv.org/abs/1707.03700},
  note = {Source identifier: 1707.03700}
}