Foundations for computable topology

DOI10.1007/978-94-007-0431-2_14MaRDI QIDQ5260995zbMATH OpenOpenAlexFDO

Authors

Publication date 1 July 2015

Published in The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0431-2_14

zbMATH Keywords

computational topologymonadic adjunctionStone duality

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• Computably Based Locally Compact Spaces
• The Dedekind reals in abstract Stone duality
• A lambda calculus for real analysis
• scientific article; zbMATH DE number 1555466
• Local compactness and the Baire category theorem in abstract Stone duality

Cited in

(19)

• Topology, domain theory and theoretical computer science
• On fixed-point theorems in synthetic computability
• Sobriety for equilogical spaces
• Local compactness and the Baire category theorem in abstract Stone duality
• Synthetic topology: of data types and classical spaces
• Computability, Homotopy, and Twisted Cartesian Products
• A lambda calculus for real analysis
• Computational Topology via Functional Programming: A Baseline Analysis
• On Turing degrees of points in computable topology
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)
• Computability of Subsets of Metric Spaces
• Computably Based Locally Compact Spaces
• scientific article; zbMATH DE number 5263151 (Why is no real title available?)
• Computable Stone spaces
• Effective second countability in computable analysis
• Machine space. I: Weak exponentials and quantification over compact spaces
• Effective bases and notions of effective second countability in computable analysis
• On computational environments of topological spaces

This page was built for publication: Foundations for computable topology

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