Abstract
We discuss three natural, classically equivalent, Hausdorff separation properties for topological spaces in constructive mathematics. Using Brouwerian examples, we show that our results are the best possible in our constructive framework.
Cite
CITATION STYLE
APA
Bridges, D., & Vîţǎ, L. (2003). Separatedness in constructive topology. Documenta Mathematica, 8(1), 567–576. https://doi.org/10.4171/dm/151
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free