Sequences of real functions on [0, 1] in constructive reverse mathematics H Diener, I Loeb Annals of Pure and Applied Logic 157 (1), 50-61, 2009 | 30 | 2009 |
Compactness under constructive scrutiny H Diener University of Canterbury. Mathematics and Statistics, 2008 | 30 | 2008 |
The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem D Bridges, H Diener The Journal of Symbolic Logic 72 (4), 1379-1384, 2007 | 26 | 2007 |
Constructive reverse mathematics H Diener arXiv preprint arXiv:1804.05495, 2018 | 20 | 2018 |
Constructive reverse investigations into differential equations H Diener, I Loeb Journal of Logic and Analysis 3, 2011 | 15 | 2011 |
Bishop-style constructive reverse mathematics H Diener, H Ishihara Handbook of computability and complexity in analysis, 347-365, 2021 | 13 | 2021 |
Separating the fan theorem and its weakenings RS Lubarsky, H Diener The Journal of Symbolic Logic 79 (3), 792-813, 2014 | 12 | 2014 |
The anti‐Specker property, positivity, and total boundedness D Bridges, H Diener Mathematical Logic Quarterly 56 (4), 434-441, 2010 | 11 | 2010 |
Variations on a theme by Ishihara H Diener Mathematical Structures in Computer Science 25 (7), 1569-1577, 2015 | 10 | 2015 |
Principles weaker than BD-N RS Lubarsky, H Diener The Journal of Symbolic Logic 78 (3), 873-885, 2013 | 9 | 2013 |
Classifying material implications over minimal logic H Diener, M McKubre-Jordens Archive for Mathematical Logic 59 (7), 905-924, 2020 | 7 | 2020 |
The Vitali covering theorem in constructive mathematics H Diener, A Hedin Journal of Logic and Analysis 4, 2012 | 7 | 2012 |
Generalising compactness H Diener Mathematical Logic Quarterly 54 (1), 49-57, 2008 | 7 | 2008 |
Constructive reverse mathematics, 2018 H Diener Habilitationsschrift, University of Siegen, 0 | 7 | |
Constructive aspects of Riemann's permutation theorem for series J Berger, D Bridges, H Diener, H Schwichtenberg arXiv preprint arXiv:1303.7051, 2013 | 6 | 2013 |
Weak König’s lemma implies the uniform continuity theorem H Diener Computability 2 (1), 9-13, 2013 | 6 | 2013 |
Provably recursive functions of reflection W Pohlers, JC Stegert, U Berger, H Diener, P Schuster, M Seisenberger Logic, Construction, Computation 3, 381-474, 2012 | 6 | 2012 |
A constructive treatment of Urysohn's Lemma in an apartness space D Bridges, H Diener Mathematical Logic Quarterly 52 (5), 464-469, 2006 | 6 | 2006 |
Notions of Cauchyness and metastability H Diener, R Lubarsky Journal of Logic and Computation 30 (8), 1487-1504, 2020 | 5 | 2020 |
Separating the fan theorem and its weakenings H Diener, R Lubarsky Logical Foundations of Computer Science, 2013 | 5 | 2013 |