Geometric Intuition and Elementary Constructive Analysis

DOI10.1002/MALQ.19790253303MaRDI QIDQ3863886zbMATH OpenOpenAlexFDO

Authors Douglas 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

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

Cited in

(4)

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

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

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