On the constructive notion of closure maps
From MaRDI portal
Publication:2910990
DOI10.1002/malq.201110040zbMath1259.03078MaRDI QIDQ2910990
Mohammad Ardeshir, Rasoul Ramezanian
Publication date: 12 September 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201110040
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
26E40: Constructive real analysis
Cites Work
- Unnamed Item
- Unnamed Item
- The double negation of the intermediate value theorem
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- Glueing continuous functions constructively
- Sequences of real functions on [0,1 in constructive reverse mathematics]
- Constructivism in mathematics. An introduction. Volume I
- Constructive notions of equicontinuity
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- A constructive treatment of Urysohn's Lemma in an apartness space
- Decidability and Specker sequences in intuitionistic mathematics
- An interpretation of intuitionistic analysis