Constructive continuity

DOI10.1090/MEMO/0277MaRDI QIDQ3322336zbMATH OpenOpenAlexFDO

Authors Mark Mandelkern

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

zbMATH Keywords

constructive analysisconstructive continuityintermediate valuesmethod of reliefsmonotone continuous functionsUrysohn's method

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) Monotonic functions, generalizations (26A48) Real-valued functions in general topology (54C30)

Recommendations

• scientific article; zbMATH DE number 4002092
• A Constructive Uniform Continuity Theorem
• Continuity and nondiscontinuity in constructive mathematics
• Sequential, pointwise, and uniform continuity: A constructive note
• scientific article; zbMATH DE number 2212005

Cited in

(28)

• Unique existence, approximate solutions, and countable choice.
• On Brouwer's continuity principle
• Completeness: when enough is enough
• McShane-Whitney pairs
• Near convexity, metric convexity, and convexity
• A constructive real projective plane
• Perpetuality for Full and Safe Composition (in a Constructive Setting)
• scientific article; zbMATH DE number 4002092 (Why is no real title available?)
• Metrization of the One-Point Compactification
• Continuity and nondiscontinuity in constructive mathematics
• Sequential, pointwise, and uniform continuity: A constructive note
• scientific article; zbMATH DE number 1040591 (Why is no real title available?)
• Epsilon-delta proofs and uniform continuity
• Bishop-Style Constructive Reverse Mathematics
• Locally constant constructive functions and connectedness of intervals
• McShane-Whitney extensions in constructive analysis
• Constructive projective extension of an incidence plane
• scientific article; zbMATH DE number 2212005 (Why is no real title available?)
• Logical Approaches to Computational Barriers
• Converses of Bishop's lemma on located sets
• Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
• The Fan Theorem, its strong negation, and the determinacy of games
• \(\epsilon\)-continuity and monotone operators
• Continuity of monotone functions
• Constructing local optima on a compact interval
• Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
• Glueing continuous functions constructively
• The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience)

This page was built for publication: Constructive continuity

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