scientific article; zbMATH DE number 5200731

MaRDI QIDQ5310896zbMATH OpenFDO

Authors Wim Veldman

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/perhaps_the_intermediate_value

zbMATH Keywords

intermediate value theoremintuitionistic real analysis

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Constructive real analysis (26E40)

Recommendations

• An intermediate value theorem for asymptotic values
• Concerning the intermediate point in the mean value theorem
• The mean value theorem
• A certain mean value theorem in the number theory
• The mean value theorem, again and again \dots
• A Mean Value Theorem
• A General Constructive Intermediate Value Theorem
• scientific article; zbMATH DE number 5824253

Cited in

(6)

• Intuitionism: an inspiration?
• The intermediate value theorem is not obvious -- and I am going to prove it to you
• On the constructive notion of closure maps
• A General Constructive Intermediate Value Theorem
• Connectedness of the continuum in intuitionistic mathematics
• The double negation of the intermediate value theorem

This page was built for publication:

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