The constructive maximal point space and partial metrizability
From MaRDI portal
Recommendations
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)