The constructive maximal point space and partial metrizability

DOI10.1016/j.apal.2005.05.032zbMath1077.03040OpenAlexW2074515972MaRDI QIDQ2575776

Michael B. Smyth

Publication date: 6 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.032

zbMATH Keywords

maximal point spacequantitative domain theory\(R\)-structureLawson condition\(\omega\)-continuous domainsconstructive maximalitypartial metrizability

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Continuous lattices and posets, applications (06B35) Other constructive mathematics (03F65)

Related Items (9)

On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ On quasi-metrizable \(d\)-spaces ⋮ Uniform structures in the beginning of the third millenium ⋮ Radical theory of Scott-open filters ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Complexity spaces as quantitative domains of computation ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ On the collection of points of a formal space

Cites Work

• \(\mathbb{T}^\omega\) as a universal domain
• Effectively given domains
• Properly injective spaces and function spaces
• Constructive metrisability in point-free topology.
• Quantitative continuous domains
• Partial Metric Topology
• Spaces of maximal points
• 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: The constructive maximal point space and partial metrizability