http://logicandanalysis.org/index.php/jla/article/viewFile/114/41

DOI10.4115/jla.2011.3.8zbMath1291.03115OpenAlexW1599350996MaRDI QIDQ3145965

Hannes Diener, Iris Loeb

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2011.3.8

zbMATH Keywords

differential equationsconstructive mathematicsdifferentiationreverse mathematicsmean-value theoremPeanofundamental theorem of calculusPicardpointwise analysisRolle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)

Related Items (4)

Glueing continuous functions constructively ⋮ Intuitionistic sequential compactness? ⋮ Reverse formalism 16 ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: http://logicandanalysis.org/index.php/jla/article/viewFile/114/41