Constructive continuity

DOI10.1090/MEMO/0277zbMATH Open0537.26002OpenAlexW4242185650MaRDI QIDQ3322336FDOQ3322336

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

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

zbMATH Keywords

constructive analysisintermediate valuesconstructive continuitymethod 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)

Cited In (24)

• A constructive real projective plane
• Constructive projective extension of an incidence plane
• Completeness: when enough is enough
• Title not available (Why is that?)
• McShane-Whitney pairs
• On Brouwer's continuity principle
• Glueing continuous functions constructively
• The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience)
• Constructing local optima on a compact interval
• Logical Approaches to Computational Barriers
• Perpetuality for Full and Safe Composition (in a Constructive Setting)
• Metrization of the One-Point Compactification
• Unique existence, approximate solutions, and countable choice.
• Epsilon-delta proofs and uniform continuity
• Bishop-Style Constructive Reverse Mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
• Continuity and nondiscontinuity in constructive mathematics
• Converses of Bishop's lemma on located sets
• \(\epsilon\)-continuity and monotone operators
• Continuity of monotone functions
• Near convexity, metric convexity, and convexity
• Sequential, pointwise, and uniform continuity: A constructive note

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)