A uniformly continuous function on [0,1] that is everywhere different from its infimum

DOI10.2140/PJM.1984.111.333MaRDI QIDQ1166518zbMATH OpenOpenAlexFDO

Authors Fred Richman, William H. Julian

Publication date 1984

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1984.111.333

zbMATH Keywords

Bishop's constructive mathematicsChurch's thesisconstructive denial of Koenig's lemmapositive infimumpositive uniformly continuous function

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Cited in

(18)

• Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
• Convexity and unique minimum points
• Intuitionistic sequential compactness?
• Z-stability in constructive analysis
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Convexity and constructive infima
• The Dedekind reals in abstract Stone duality
• Unique solutions
• The anti-Specker property, positivity, and total boundedness
• 10th Asian Logic Conference
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Brouwer's fan theorem and convexity
• Bishop-Style Constructive Reverse Mathematics
• The Arrow-Hahn construction in a locally compact metric space
• Separating the fan theorem and its weakenings. II
• Realizability Models Separating Various Fan Theorems
• Resolution of the uniform lower bound problem in constructive analysis
• The anti-Specker property, a Heine-Borel property, and uniform continuity

This page was built for publication: A uniformly continuous function on [0,1] that is everywhere different from its infimum

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