The mean value theorem in second order arithmetic

DOI10.2307/2695111MaRDI QIDQ2758063zbMATH OpenOpenAlexFDO

Authors Christopher S. Hardin, Daniel J. Velleman

Publication date 18 July 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2695111

zbMATH Keywords

derivativedifferentiablemean valuereverse mathematicsRolle's theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 3924748
• Reverse-engineering reverse mathematics
• Complex analysis in subsystems of second order arithmetic
• A complexification of Rolles's theorem
• On the integral mean value theorem

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Rethinking Rigor in Calculus: The Role of the Mean Value Theorem

Cited in

(3)

• A constructive proof of Simpson's rule
• The maximal linear extension theorem in second order arithmetic
• Complex analysis in subsystems of second order arithmetic

This page was built for publication: The mean value theorem in second order arithmetic

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