We stand with Ukraine  

Hannes Diener

Orcid: 0000-0002-1122-5753

Affiliations:
  • University of Siegen, Germany
  • University of Canterbury, NZ


According to our database1, Hannes Diener authored at least 22 papers between 2006 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Constructive aspects of Riemann's permutation theorem for series.
[BibTeX]
[DOI]
Josef Berger
,
Douglas S. Bridges
,
Hannes Diener
,
Helmut Schwichtenberg
Log. J. IGPL, 2025

2022
The Third Trick.
[BibTeX]
[DOI]
Hannes Diener
,
Matthew Hendtlass
Log. Methods Comput. Sci., 2022

2020
Differentiating convex functions constructively.
[BibTeX]
[DOI]
Hannes Diener
,
Matthew Hendtlass
J. Log. Anal., 2020

Classifying material implications over minimal logic.
[BibTeX]
[DOI]
Hannes Diener
,
Maarten McKubre-Jordens
Arch. Math. Log., 2020

2019
(Seemingly) Impossible Theorems in Constructive Mathematics.
[BibTeX]
[DOI]
Hannes Diener
,
Matthew Hendtlass
CoRR, 2019

2018
Bishop's Lemma.
[BibTeX]
[DOI]
Hannes Diener
,
Matthew Hendtlass
Math. Log. Q., 2018

The Drinker Paradox and its Dual.
[BibTeX]
[DOI]
Louis Warren
,
Hannes Diener
,
Maarten McKubre-Jordens
CoRR, 2018

Notions of Cauchyness and Metastability.
[BibTeX]
[DOI]
Hannes Diener
,
Robert S. Lubarsky
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2015
Variations on a theme by Ishihara.
[BibTeX]
[DOI]
Hannes Diener
Math. Struct. Comput. Sci., 2015

2013
Principles weaker than BD-N.
[BibTeX]
[DOI]
Hannes Diener
,
Robert S. Lubarsky
J. Symb. Log., 2013

Weak König's Lemma Implies the Uniform Continuity Theorem.
[BibTeX]
[DOI]
Hannes Diener
Comput., 2013

Separating the Fan Theorem and Its Weakenings.
[BibTeX]
[DOI]
Robert S. Lubarsky
,
Hannes Diener
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
The Vitali covering theorem in constructive mathematics.
[BibTeX]
[DOI]
Hannes Diener
,
Anton Hedin
J. Log. Anal., 2012

Reclassifying the antithesis of Specker's theorem.
[BibTeX]
[DOI]
Hannes Diener
Arch. Math. Log., 2012

2011
Constructive reverse investigations into differential equations.
[BibTeX]
[DOI]
Hannes Diener
,
Iris Loeb
J. Log. Anal., 2011

2010
The anti-Specker property, positivity, and total boundedness.
[BibTeX]
[DOI]
Douglas S. Bridges
,
Hannes Diener
Math. Log. Q., 2010

On Choice Principles and Fan Theorems.
[BibTeX]
[DOI]
Hannes Diener
,
Peter Schuster
J. Univers. Comput. Sci., 2010

2009
Sequences of real functions on [0, 1] in constructive reverse mathematics.
[BibTeX]
[DOI]
Hannes Diener
,
Iris Loeb
Ann. Pure Appl. Log., 2009

Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis.
[BibTeX]
[DOI]
Hannes Diener
,
Peter Schuster
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008
Generalising compactness.
[BibTeX]
[DOI]
Hannes Diener
Math. Log. Q., 2008

2007
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.
[BibTeX]
[DOI]
Douglas S. Bridges
,
Hannes Diener
J. Symb. Log., 2007

2006
A constructive treatment of Urysohn's Lemma in an apartness space.
[BibTeX]
[DOI]
Douglas S. Bridges
,
Hannes Diener
Math. Log. Q., 2006


  Loading...