Pages that link to "Item:Q1166518"
From MaRDI portal
The following pages link to A uniformly continuous function on [0,1] that is everywhere different from its infimum (Q1166518):
Displaying 19 items.
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Convexity and constructive infima (Q334985) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) (Q1191646) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS (Q2933676) (← links)
- Z-stability in Constructive Analysis (Q2974781) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Unique solutions (Q3418084) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- 10th Asian Logic Conference (Q3633210) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- The Arrow-Hahn Construction in a Locally Compact Metric Space (Q5132606) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- Resolution of the uniform lower bound problem in constructive analysis (Q5448617) (← links)
