scientific article; zbMATH DE number 2247258
From MaRDI portal
Publication:5718570
zbMath1095.03073MaRDI QIDQ5718570
No author found.
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sober spaceconstructive set theorypoint-free topologyseparation propertiesconstructive topological space
Metric spaces, metrizability (54E35) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Other constructive mathematics (03F65)
Related Items (8)
Positivity relations on a locale ⋮ Unnamed Item ⋮ On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ Locatedness and overt sublocales ⋮ The principle of pointfree continuity ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ The Zariski spectrum as a formal geometry ⋮ Aspects of general topology in constructive set theory
This page was built for publication:
