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)

Review text

This paper studies the double negation of the intermediate value theorem for monotonous, continuous functions in an intuitionistic (constructive) setting. It is proved that if there exists a monotonous, continuous function for which the double negation of the intermediate value property doesn't hold, then there exists a Specker sequence. Furthermore, under the same assumption, there also exists an intuitionistically enumerable subset that is not decidable. A further main result of the paper is that there exists a monotonous, continuous function for which the double negation of the intermediate value property doesn't hold if and only if there exists a strong Specker double sequence. The authors relate their results to the open question of whether there exists a continuous function (so: not necessarily monotonous) for which the double negation of the intermediate value property doesn't hold. Two related articles are [\textit{M. Ardeshir} and \textit{R. Ramezanian}, Math. Log. Q. 55, No. 6, 637--648 (2009; Zbl 1192.03046)] and [\textit{W. Veldman}, J. UCS 11, No. 12, 2142--2158 (2005; Zbl 1128.03049)].

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

• Classical and constructive hierarchies in extended intuitionistic analysis
• Constructivism in mathematics. An introduction. Volume I
• Decidability and Specker sequences in intuitionistic mathematics
• 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?)
• 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)