The double negation of the intermediate value theorem

DOI10.1016/j.apal.2009.06.005zbMath1233.03060OpenAlexW1978060594MaRDI 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

zbMATH Keywords

decidabilityintermediate value theoremintuitionistic mathematicsSpecker sequence

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55)

Related Items (2)

On the constructive notion of closure maps ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs

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

This page was built for publication: The double negation of the intermediate value theorem