On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions

DOI10.1007/S10699-004-3065-ZzbMath1111.03050OpenAlexW1994809800MaRDI QIDQ2505640

Frank Waaldijk

Publication date: 28 September 2006

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10699-004-3065-z

zbMATH Keywords

continuitytopologyconstructive mathematicsintuitionism

Mathematics Subject Classification ID

Continuous maps (54C05) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (6)

Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Reflections on function spaces ⋮ A constructive theory of point-set nearness. ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ The Dedekind reals in abstract Stone duality ⋮ Apartness spaces as a framework for constructive topology

Cites Work

• Unnamed Item
• Unnamed Item
• Continuous selections. I
• Markov's principle, Church's thesis and Lindelöf's theorem
• The continuum hypothesis in intuitionism
• Some elementary results in intuitionistic model theory

This page was built for publication: On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions