The double negation of the intermediate value theorem
From MaRDI portal
Publication:636312
DOI10.1016/j.apal.2009.06.005zbMath1233.03060MaRDI QIDQ636312
Mohammad Ardeshir, Rasoul Ramezanian
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.06.005
Related Items
The creating subject, the Brouwer-Kripke schema, and infinite proofs, On the constructive notion of closure maps
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Decidability and Specker sequences in intuitionistic mathematics
- Classical and constructive hierarchies in extended intuitionistic analysis
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item