 | 2010 |
|---|
| 7 |       | Hannes Diener,
Peter Schuster:
On Choice Principles and Fan Theorems.
J. UCS 16(18): 2556-2562 (2010) |
| 6 | | Douglas S. Bridges,
Hannes Diener:
The anti-Specker property, positivity, and total boundedness.
Math. Log. Q. 56(4): 434-441 (2010) |
| 2009 |
|---|
| 5 | | Hannes Diener,
Peter Schuster:
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis.
CCA 2009 |
| 4 | | Hannes Diener,
Iris Loeb:
Sequences of real functions on [0, 1] in constructive reverse mathematics.
Ann. Pure Appl. Logic 157(1): 50-61 (2009) |
| 2008 |
|---|
| 3 | | Hannes Diener:
Generalising compactness.
Math. Log. Q. 54(1): 49-57 (2008) |
| 2007 |
|---|
| 2 | | Douglas S. Bridges,
Hannes Diener:
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.
J. Symb. Log. 72(4): 1379-1384 (2007) |
| 2006 |
|---|
| 1 | | Douglas S. Bridges,
Hannes Diener:
A constructive treatment of Urysohn's Lemma in an apartness space.
Math. Log. Q. 52(5): 464-469 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page