@misc{indiciae8481cf767632,
  title = {Toposes from Forcing for Intuitionistic ZF with Atoms},
  author = {Keita Yamamoto},
  year = {2018},
  url = {https://arxiv.org/abs/1702.03399},
  note = {Source identifier: 1702.03399}
}