The constructive maximal point space and partial metrizability

DOI10.1016/J.APAL.2005.05.032MaRDI QIDQ2575776zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The constructive maximal point space
• Spaces of maximal points
• On the spaces of the maximal points
• Topological games in domain theory
• scientific article; zbMATH DE number 2051988

Cites work

• scientific article; zbMATH DE number 1670818 (Why is no real title available?)
• scientific article; zbMATH DE number 4081629 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1257185 (Why is no real title available?)
• scientific article; zbMATH DE number 1107508 (Why is no real title available?)
• scientific article; zbMATH DE number 1795214 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• Constructive metrisability in point-free topology.
• Effectively given domains
• Partial Metric Topology
• Properly injective spaces and function spaces
• Quantitative continuous domains
• Spaces of maximal points
• \(\mathbb{T}^\omega\) as a universal domain

Cited in

(15)

• 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
• The constructive maximal point space
• On quasi-metrizable \(d\)-spaces
• Maximal point spaces of closed interval posets
• Uniform structures in the beginning of the third millenium
• Apartness, sharp elements, and the Scott topology of domains
• A mathematical model for network with structures in the mesoscale
• On the collection of points of a formal space
• Radical theory of Scott-open filters
• Sharp elements and apartness in domains
• Maximal and partial points in formal spaces
• 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)