Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hannes Diener
Observed names:
Diener H,
Diener, Hannes,
H. Diener,
HANNES DIENER
Institution:
University of Canterbury
Observed institutions:
University of Canterbury,
University of Siegen,
Institut de Mathématiques de Jussieu-Paris Rive Gauche,
Florida Atlantic University
ORCID:
0000-0002-1122-5753
Observed ORCID:
0000-0002-1122-5753
OpenAlex ID:
A5086209658
Sequences of real functions on [0,1] in constructive reverse mathematics
2008
·
Hannes Diener
, Iris Loeb
·
Annals of Pure and Applied Logic
·
27
Compactness Under Constructive Scrutiny
2008
·
Diener, Hannes
·
UC Research Repository (University of Canterbury)
·
21
PDF
Logic, Construction, Computation
2012
·
Ulrich Berger
, Hannes Diener
, et al.
·
De Gruyter eBooks
·
17
The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem
2007
·
Douglas Bridges
, Hannes Diener
·
Journal of Symbolic Logic
·
17
Constructive Reverse Mathematics
2018
·
Diener, Hannes
·
arXiv (Cornell University)
·
10
PDF
Separating the Fan Theorem and Its Weakenings
2014
·
ROBERT S. LUBARSKY
, HANNES DIENER
·
Journal of Symbolic Logic
·
9
PDF
The anti‐Specker property, positivity, and total boundedness
2010
·
Douglas Bridges
, Hannes Diener
·
Mathematical logic quarterly
·
9
Principles Weaker than BD-N
2013
·
Robert S. Lubarsky
, Hannes Diener
·
Journal of Symbolic Logic
·
8
PDF
Variations on a theme by Ishihara
2014
·
HANNES DIENER
·
Mathematical Structures in Computer Science
·
7
Logic, Computation, Hierarchies
2014
·
Vasco Brattka
, Hannes Diener
, et al.
·
De Gruyter eBooks
·
6
Separating the Fan Theorem and Its Weakenings
2013
·
Robert S. Lubarsky
, Hannes Diener
·
Lecture notes in computer science
·
5
Uniqueness, continuity and the existence of implicit functions in constructive analysis
2011
·
H. Diener
, P. Schuster
·
LMS Journal of Computation and Mathematics
·
5
PDF
A constructive treatment of Urysohn's Lemma in an apartness space
2006
·
Douglas Bridges
, Hannes Diener
·
Mathematical logic quarterly
·
5
Notions of Cauchyness and Metastability
2017
·
Hannes Diener
, Robert Lubarsky
·
Lecture notes in computer science
·
4
Generalising compactness
2008
·
Hannes Diener
·
Mathematical logic quarterly
·
4
Constructive aspects of Riemann’s permutation theorem for series
2023
·
J Berger
, Douglas Bridges
, et al.
·
Logic Journal of IGPL
·
3
PDF
Bishop-Style Constructive Reverse Mathematics
2021
·
Hannes Diener
, Hajime Ishihara
·
Theory and applications of computability
·
3
On Choice Principles and Fan Theorems
2020
·
Hannes Diener
, Peter Schuster
·
Zenodo (CERN European Organization for Nuclear Research)
·
3
PDF
Classifying material implications over minimal logic
2020
·
Hannes Diener
, Maarten McKubre-Jordens
·
Archive for Mathematical Logic
·
3
PDF
(Seemingly) Impossible Theorems in Constructive Mathematics
2019
·
Diener, Hannes
, Hendtlass, Matthew
·
arXiv (Cornell University)
·
3
PDF
Reclassifying the antithesis of Specker’s theorem
2012
·
Hannes Diener
·
Archive for Mathematical Logic
·
3
The Vitali covering theorem in constructive mathematics
2012
·
Hannes Diener
, Anton Hedin
·
Journal of Logic and Analysis
·
2
PDF
Completeness: When Enough is Enough
2019
·
Hannes Diener
, Matthew Hendtlass
·
Documenta Mathematica
·
1
PDF
The Drinker Paradox and its Dual
2018
·
Warren, Louis
, Diener, Hannes
, et al.
·
arXiv (Cornell University)
·
1
PDF
Weak König’s Lemma Implies the Uniform Continuity Theorem
2013
·
Hannes Diener
·
Computability
·
1
Show more works
View as search
Works count:
41
Citation count:
178
H-index:
8
I10-index:
5
Year
Topic
Type
