The constructive maximal point space and partial metrizability

DOI10.1016/J.APAL.2005.05.032zbMATH Open1077.03040OpenAlexW2074515972MaRDI QIDQ2575776FDOQ2575776

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial Metric Topology
• Quantitative continuous domains
• Spaces of maximal points
• \(\mathbb{T}^\omega\) as a universal domain
• Properly injective spaces and function spaces
• Effectively given domains
• Constructive metrisability in point-free topology.

Cited In (13)

• On the domain of formal balls of the Sorgenfrey quasi-metric space
• On some peculiar aspects of the constructive theory of point-free spaces
• Point simpliciality in Choquet theory on nonmetrizable compact spaces
• Complete partial metric spaces have partially metrizable computational models
• On quasi-metrizable \(d\)-spaces
• Maximal point spaces of closed interval posets
• Complete partial metric spaces have partially metrizable computational models
• Uniform structures in the beginning of the third millenium
• Apartness, sharp elements, and the Scott topology of domains
• On the collection of points of a formal space
• Radical theory of Scott-open filters
• Sharp elements and apartness in domains
• Complexity spaces as quantitative domains of computation

This page was built for publication: The constructive maximal point space and partial metrizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575776)