Geometric Intuition and Elementary Constructive Analysis

DOI10.1002/malq.19790253303zbMath0427.03052OpenAlexW1989259490MaRDI QIDQ3863886

Douglas S. Bridges

Publication date: 1979

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790253303

zbMATH Keywords

mean value theoremRolle's theorem

Mathematics Subject Classification ID

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Other constructive mathematics (03F65)

Related Items (4)

Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection ⋮ Locatedness and overt sublocales ⋮ Preference and utility. A constructive development ⋮ Constructive Reflexivity of a Uniformly Convex Banach Space

This page was built for publication: Geometric Intuition and Elementary Constructive Analysis