Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Separatedness in constructive topology

From MaRDI portal
Publication:1419690
Jump to:navigation, search

zbMath1037.54020MaRDI QIDQ1419690

Douglas S. Bridges, Luminiţa Simona Vîţă

Publication date: 19 January 2004

Published in: Documenta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/50764



Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)


Related Items (1)

Extending strongly continuous functions between apartness spaces







This page was built for publication: Separatedness in constructive topology

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1419690&oldid=13588171"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 17:23.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki