A New Approach to Constructive Topology and Measure Theory

DOI10.1002/MALQ.19890350610MaRDI QIDQ3822158zbMATH OpenOpenAlexFDO

Authors

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19890350610

zbMATH Keywords

algebraic topologyconstructive topologyconstructive measure theoryconstructive version of the Heine-Borel theorem

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Recommendations

• Compactness in constructive analysis revisited
• Continuity properties in constructive mathematics
• Apartness spaces as a framework for constructive topology
• scientific article; zbMATH DE number 3952751
• The problem of the formalization of constructive topology

Cited in

(6)

• On a topological construction of Juhasz and Shelah
• Compactness in constructive analysis revisited
• Doing Without Turing Machines: Constructivism and Formal Topology
• scientific article; zbMATH DE number 937395 (Why is no real title available?)
• scientific article; zbMATH DE number 2247264 (Why is no real title available?)
• A nonstandard proof of a lemma from constructive measure theory

This page was built for publication: A New Approach to Constructive Topology and Measure Theory

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