Hannes Diener

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 8

Top Topics

Convex Functions

Top Venues

Math. Struct. Comput. Sci.

J. Log. Comput.

Publications

Hannes Diener, Matthew Hendtlass
The Third Trick. Log. Methods Comput. Sci. 18 (3) (2022)
Hannes Diener, Matthew Hendtlass
Differentiating convex functions constructively. J. Log. Anal. 12 (2020)
Hannes Diener, Maarten McKubre-Jordens
Classifying material implications over minimal logic. Arch. Math. Log. 59 (7-8) (2020)
Hannes Diener, Robert S. Lubarsky
Notions of Cauchyness and metastability. J. Log. Comput. 30 (8) (2020)
Hannes Diener, Matthew Hendtlass
(Seemingly) Impossible Theorems in Constructive Mathematics. CoRR (2019)
Hannes Diener, Matthew Hendtlass
Bishop's Lemma. Math. Log. Q. 64 (1-2) (2018)
Louis Warren, Hannes Diener, Maarten McKubre-Jordens
The Drinker Paradox and its Dual. CoRR (2018)
Hannes Diener, Robert S. Lubarsky
Notions of Cauchyness and Metastability. LFCS (2018)
Hannes Diener
Variations on a theme by Ishihara. Math. Struct. Comput. Sci. 25 (7) (2015)
Robert S. Lubarsky, Hannes Diener
Separating the Fan Theorem and its weakenings. J. Symb. Log. 79 (3) (2014)
Hannes Diener
Weak König's Lemma Implies the Uniform Continuity Theorem. Comput. 2 (1) (2013)
Robert S. Lubarsky, Hannes Diener
Separating the Fan Theorem and Its Weakenings. LFCS (2013)
Hannes Diener, Robert S. Lubarsky
Principles weaker than BD-N. J. Symb. Log. 78 (3) (2013)
Hannes Diener, Anton Hedin
The Vitali covering theorem in constructive mathematics. J. Log. Anal. 4 (2012)
Hannes Diener
Reclassifying the antithesis of Specker's theorem. Arch. Math. Log. 51 (7-8) (2012)
Hannes Diener, Iris Loeb
Constructive reverse investigations into differential equations. J. Log. Anal. 3 (2011)
Hannes Diener, Peter Schuster
Uniqueness, continuity and the existence of implicit functions in constructive analysis. LMS J. Comput. Math. 14 (2011)
Douglas S. Bridges, Hannes Diener
The anti-Specker property, positivity, and total boundedness. Math. Log. Q. 56 (4) (2010)
Hannes Diener, Peter Schuster
On Choice Principles and Fan Theorems. J. Univers. Comput. Sci. 16 (18) (2010)
Hannes Diener, Iris Loeb
Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Log. 157 (1) (2009)
Hannes Diener, Peter Schuster
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. CCA (2009)
Hannes Diener
Generalising compactness. Math. Log. Q. 54 (1) (2008)
Douglas S. Bridges, Hannes Diener
The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. J. Symb. Log. 72 (4) (2007)
Douglas S. Bridges, Hannes Diener
A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52 (5) (2006)