The mean value theorem in second order arithmetic

DOI10.2307/2695111zbMath0990.03047OpenAlexW2170311073MaRDI QIDQ2758063

Christopher S. Hardin, Daniel J. Velleman

Publication date: 18 July 2002

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

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

zbMATH Keywords

derivativereverse mathematicsmean valueRolle's theoremdifferentiable

Mathematics Subject Classification ID

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

Related Items (1)

Complex analysis in subsystems of second order arithmetic

Cites Work

• Unnamed Item
• Rethinking Rigor in Calculus: The Role of the Mean Value Theorem

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