The following pages link to Hannes Diener (Q926185):
Displaying 25 items.
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Apartness, compactness and nearness (Q949606) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Notions of Cauchyness and metastability (Q1709697) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- Classifying material implications over minimal logic (Q2204373) (← links)
- Weak König’s Lemma Implies the Uniform Continuity Theorem (Q2851185) (← links)
- Principles Weaker than BD-N (Q2869905) (← links)
- Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis (Q2917329) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS (Q2933676) (← links)
- (Q3075214) (← links)
- Uniqueness, continuity and the existence of implicit functions in constructive analysis (Q3092479) (← links)
- http://logicandanalysis.org/index.php/jla/article/viewFile/114/41 (Q3145965) (← links)
- The Vitali covering theorem in constructive mathematics (Q3145976) (← links)
- A constructive treatment of Urysohn's Lemma in an apartness space (Q3419669) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- (Q5101354) (← links)
- Bishop's Lemma (Q5109210) (← links)
- Notions of Cauchyness and metastability (Q5140326) (← links)
- Differentiating convex functions constructively (Q5145852) (← links)
- The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707) (← links)
- Generalising compactness (Q5448615) (← links)
- Variations on a theme by Ishihara (Q5740670) (← links)
