A uniformly continuous function on [0,1] that is everywhere different from its infimum
From MaRDI portal
Publication:1166518
DOI10.2140/pjm.1984.111.333zbMath0489.03024OpenAlexW2026246736MaRDI QIDQ1166518
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
Church's thesisBishop's constructive mathematicsconstructive denial of Koenig's lemmapositive infimumpositive uniformly continuous function
Related Items (19)
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle ⋮ Convexity and constructive infima ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS ⋮ Realizability Models Separating Various Fan Theorems ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Z-stability in Constructive Analysis ⋮ Convexity and unique minimum points ⋮ The Arrow-Hahn Construction in a Locally Compact Metric Space ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) ⋮ BROUWER’S FAN THEOREM AND CONVEXITY ⋮ The anti-Specker property, positivity, and total boundedness ⋮ Intuitionistic sequential compactness? ⋮ Resolution of the uniform lower bound problem in constructive analysis ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ 10th Asian Logic Conference ⋮ The Dedekind reals in abstract Stone duality ⋮ Unique solutions ⋮ Bishop-Style Constructive Reverse Mathematics
This page was built for publication: A uniformly continuous function on [0,1] that is everywhere different from its infimum
