@misc{indiciae4de841444100,
  title = {Class forcing, the forcing theorem and Boolean completions},
  author = {Peter Holy and Regula Krapf and Philipp Lücke and Ana Njegomir and Philipp Schlicht},
  year = {2017},
  url = {https://arxiv.org/abs/1710.10820},
  note = {Source identifier: 1710.10820}
}