@misc{indiciae2443d2e0e035,
  title = {Basic Subtoposes of the Effective Topos},
  author = {Sori Lee and Jaap van Oosten},
  year = {2012},
  url = {https://arxiv.org/abs/1201.2571},
  note = {Source identifier: 1201.2571}
}