A New Approach to Constructive Topology and Measure Theory

DOI10.1002/MALQ.19890350610zbMATH Open0669.03030OpenAlexW1995907656MaRDI QIDQ3822158FDOQ3822158

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Cited In (6)

• On a topological construction of Juhasz and Shelah
• Doing Without Turing Machines: Constructivism and Formal Topology
• Title not available (Why is that?)
• Compactness in constructive analysis revisited
• A nonstandard proof of a lemma from constructive measure theory
• Title not available (Why is that?)

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)