Constructive continuity
From MaRDI portal
Publication:3322336
DOI10.1090/memo/0277zbMath0537.26002OpenAlexW4242185650MaRDI QIDQ3322336
Publication date: 1983
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0277
constructive analysisintermediate valuesconstructive continuitymethod of reliefsmonotone continuous functionsUrysohn's method
Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Monotonic functions, generalizations (26A48) Other constructive mathematics (03F65) Real-valued functions in general topology (54C30)
Related Items (14)
A constructive real projective plane ⋮ Continuity and nondiscontinuity in constructive mathematics ⋮ Unnamed Item ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) ⋮ Constructive projective extension of an incidence plane ⋮ Near convexity, metric convexity, and convexity ⋮ Completeness: when enough is enough ⋮ Converses of Bishop's lemma on located sets ⋮ McShane-Whitney pairs ⋮ The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) ⋮ On Brouwer's continuity principle ⋮ Metrization of the One-Point Compactification ⋮ Bishop-Style Constructive Reverse Mathematics
This page was built for publication: Constructive continuity