A constructive treatment of Urysohn's Lemma in an apartness space. - Douglas S. Bridges; Hannes Diener (Math. Log. Q., 2006)

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

Generalising compactness. - Hannes Diener (Math. Log. Q., 2008)

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

On Choice Principles and Fan Theorems. - Hannes Diener; Peter Schuster 001 (J. Univers. Comput. Sci., 2010)

The anti-Specker property, positivity, and total boundedness. - Douglas S. Bridges; Hannes Diener (Math. Log. Q., 2010)

Constructive reverse investigations into differential equations. - Hannes Diener; Iris Loeb (J. Log. Anal., 2011)

Uniqueness, continuity and the existence of implicit functions in constructive analysis. - Hannes Diener; Peter Schuster 001 (LMS J. Comput. Math., 2011)

Reclassifying the antithesis of Specker's theorem. - Hannes Diener (Arch. Math. Log., 2012)

The Vitali covering theorem in constructive mathematics. - Hannes Diener; Anton Hedin (J. Log. Anal., 2012)

Weak König's Lemma Implies the Uniform Continuity Theorem. - Hannes Diener (Comput., 2013)

Principles weaker than BD-N. - Hannes Diener; Robert S. Lubarsky (J. Symb. Log., 2013)

Separating the Fan Theorem and its weakenings. - Robert S. Lubarsky; Hannes Diener (J. Symb. Log., 2014)

Variations on a theme by Ishihara. - Hannes Diener (Math. Struct. Comput. Sci., 2015)

The Drinker Paradox and its Dual. - Louis Warren; Hannes Diener; Maarten McKubre-Jordens (CoRR, 2018)

Bishop's Lemma. - Hannes Diener; Matthew Hendtlass (Math. Log. Q., 2018)

(Seemingly) Impossible Theorems in Constructive Mathematics. - Hannes Diener; Matthew Hendtlass (CoRR, 2019)

Classifying material implications over minimal logic. - Hannes Diener; Maarten McKubre-Jordens (Arch. Math. Log., 2020)

Differentiating convex functions constructively. - Hannes Diener; Matthew Hendtlass (J. Log. Anal., 2020)

Notions of Cauchyness and metastability. - Hannes Diener; Robert S. Lubarsky (J. Log. Comput., 2020)

The Third Trick. - Hannes Diener; Matthew Hendtlass (Log. Methods Comput. Sci., 2022)

Constructive aspects of Riemann's permutation theorem for series. - Josef Berger; Douglas S. Bridges; Hannes Diener; Helmut Schwichtenberg (Log. J. IGPL, 2025)