@misc{indiciaef4714fb83ce1,
  title = {Sufficient conditions for the forcing theorem, and turning proper classes into sets},
  author = {Peter Holy and Regula Krapf and Philipp Schlicht},
  year = {2017},
  url = {https://arxiv.org/abs/1710.10826},
  note = {Source identifier: 1710.10826}
}