The constructive maximal point space

MaRDI QIDQ2843631zbMATH OpenFDO

Authors Michael B. Smyth

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104807734

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Continuous lattices and posets, applications (06B35)

Recommendations

• The constructive maximal point space and partial metrizability
• Maximal and partial points in formal spaces
• Spaces of maximal points
• scientific article; zbMATH DE number 2051988
• On the spaces of the maximal points

Cites work

• scientific article; zbMATH DE number 1670818 (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 1107508 (Why is no real title available?)
• scientific article; zbMATH DE number 1795214 (Why is no real title available?)
• scientific article; zbMATH DE number 3322964 (Why is no real title available?)
• Effectively given domains
• On Quasi-Metric Spaces
• 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

(4)

• Maximal point spaces of closed interval posets
• The constructive maximal point space and partial metrizability
• Maximal and partial points in formal spaces
• scientific article; zbMATH DE number 2051988 (Why is no real title available?)

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

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