@article{Metric-complements,
        title = "Metric complements of overt closed sets",
        author = "Thierry Coquand, Erik Palmgren, Bas Spitters",
        journal = "Mathematical Logic Quarterly",
        url = "http://arxiv.org/abs/0906.3433"
volume = {57},
number = {4},
publisher = {WILEY},
issn = {1521-3870},
doi = {10.1002/malq.201010011},
pages = {373--378},
keywords = {Constructive analysis, locales, formal topology, MSC (2010) 06D22, 28C05},
year = {2011},
}