@misc{indiciae27f893730a75,
  title = {Lawvere-Tierney topologies for computability theorists},
  author = {Takayuki Kihara},
  year = {2021},
  url = {https://arxiv.org/abs/2106.03061},
  note = {Source identifier: 2106.03061}
}