On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
From MaRDI portal
Publication:2505640
DOI10.1007/s10699-004-3065-zzbMath1111.03050MaRDI QIDQ2505640
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
54C05: Continuous maps
03F60: Constructive and recursive analysis
03F65: Other constructive mathematics
03F50: Metamathematics of constructive systems
03F55: Intuitionistic mathematics
Related Items
Validating Brouwer's continuity principle for numbers using named exceptions, 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., Apartness spaces as a framework for constructive topology, The Dedekind reals in abstract Stone duality
Cites Work