Differentiating convex functions constructively

Hannes Diener, Matthew Hendtlass


In classical analysis, both  convex functions and  increasing functions \([0,1] \to \RR\) are differentiable almost everywhere. We will show that constructively, while we can prove this for convex functions, we cannot do so for increasing ones.


convex functions, constructive analysis, constructive reverse mathematics

Full Text:

8. [PDF]

DOI: https://doi.org/10.4115/jla.2020.12.8

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008