The double negation of the intermediate value theorem

DOI10.1016/J.APAL.2009.06.005MaRDI QIDQ636312zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 5200731
• On the Brouwerian concept of negative continuity
• scientific article; zbMATH DE number 3954905
• Continuity of monotone functions
• The intermediate value theorem in constructive mathematics without choice

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3726339 (Why is no real title available?)
• scientific article; zbMATH DE number 5200731 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3042803 (Why is no real title available?)
• scientific article; zbMATH DE number 3053706 (Why is no real title available?)
• Classical and constructive hierarchies in extended intuitionistic analysis
• Constructivism in mathematics. An introduction. Volume I
• Decidability and Specker sequences in intuitionistic mathematics
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636312)