The constructive maximal point space and partial metrizability

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

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

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

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

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)