@misc{indiciae9b1fe8996b49,
  title = {Metric complements of overt closed sets},
  author = {Thierry Coquand and Erik Palmgren and Bas Spitters},
  year = {2009},
  doi = {10.1002/malq.201010011},
  url = {https://arxiv.org/abs/0906.3433},
  note = {Source identifier: 0906.3433}
}