Hannes Diener

According to our database, Hannes Diener authored at least 21 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

The Third Trick.

Hannes Diener, Matthew Hendtlass

Log. Methods Comput. Sci., 2022

2020

Notions of Cauchyness and metastability.

Hannes Diener, Robert S. Lubarsky

J. Log. Comput., 2020

Differentiating convex functions constructively.

Hannes Diener, Matthew Hendtlass

J. Log. Anal., 2020

Classifying material implications over minimal logic.

Hannes Diener, Maarten McKubre-Jordens

Arch. Math. Log., 2020

2019

(Seemingly) Impossible Theorems in Constructive Mathematics.

Hannes Diener, Matthew Hendtlass

CoRR, 2019

2018

Bishop's Lemma.

Hannes Diener, Matthew Hendtlass

Math. Log. Q., 2018

The Drinker Paradox and its Dual.

Louis Warren, Hannes Diener, Maarten McKubre-Jordens

CoRR, 2018

2015

Variations on a theme by Ishihara.

Hannes Diener

Math. Struct. Comput. Sci., 2015

2014

Separating the Fan Theorem and its weakenings.

Robert S. Lubarsky, Hannes Diener

J. Symb. Log., 2014

2013

Principles weaker than BD-N.

Hannes Diener, Robert S. Lubarsky

J. Symb. Log., 2013

Weak König's Lemma Implies the Uniform Continuity Theorem.

Hannes Diener

Comput., 2013

2012

The Vitali covering theorem in constructive mathematics.

Hannes Diener, Anton Hedin

J. Log. Anal., 2012

Reclassifying the antithesis of Specker's theorem.

Hannes Diener

Arch. Math. Log., 2012

2011

Uniqueness, continuity and the existence of implicit functions in constructive analysis.

Hannes Diener, Peter Schuster

LMS J. Comput. Math., 2011

Constructive reverse investigations into differential equations.

Hannes Diener, Iris Loeb

J. Log. Anal., 2011

2010

The anti-Specker property, positivity, and total boundedness.

Douglas S. Bridges, Hannes Diener

Math. Log. Q., 2010

On Choice Principles and Fan Theorems.

Hannes Diener, Peter Schuster

J. Univers. Comput. Sci., 2010

2009

Sequences of real functions on [0, 1] in constructive reverse mathematics.

Hannes Diener, Iris Loeb

Ann. Pure Appl. Log., 2009

2008

Generalising compactness.

Hannes Diener

Math. Log. Q., 2008

2007

The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem.

Douglas S. Bridges, Hannes Diener

J. Symb. Log., 2007

2006

A constructive treatment of Urysohn's Lemma in an apartness space.

Douglas S. Bridges, Hannes Diener

Math. Log. Q., 2006