Constructive metrisability in point-free topology.

DOI10.1016/S0304-3975(02)00699-0zbMath1045.54002MaRDI QIDQ1427775

Giovanni Curi

Publication date: 14 March 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

diametertype theorymetrisabilitycomplete regularitylocale theory

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Related Items (8)

Exact approximations to Stone-Čech compactification ⋮ On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ Cosheaves and connectedness in formal topology ⋮ Some points in formal topology. ⋮ A point-free characterisation of Bishop locally compact metric spaces ⋮ On constructing completions ⋮ On the collection of points of a formal space ⋮ The constructive maximal point space and partial metrizability

Cites Work

• Effectively given domains
• Embedding metric spaces into CPO's
• A globalization of the Hahn-Banach theorem
• Inductively generated formal topologies.
• Some points in formal topology.
• Compactification of Frames
• Categories of diametric frames
• Atomless Parts of Spaces.
• The regular-locally compact coreflection of a stably locally compact locale
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive metrisability in point-free topology.