Hannes Diener

Available identifiers

zbMath Open diener.hannesMaRDI QIDQ926185

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5101354	2022-08-30	Paper
Bishop-Style Constructive Reverse Mathematics	2022-01-26	Paper
Differentiating convex functions constructively	2021-01-22	Paper
Notions of Cauchyness and metastability	2020-12-15	Paper
Classifying material implications over minimal logic	2020-10-15	Paper
Na\"ive Infinitesimal Analysis: Its Construction and Its Properties	2020-09-23	Paper
Bishop's Lemma	2020-05-11	Paper
Completeness: when enough is enough	2019-07-09	Paper
(Seemingly) Impossible Theorems in Constructive Mathematics	2019-04-11	Paper
The Drinker Paradox and its Dual	2018-05-16	Paper
Constructive Reverse Mathematics	2018-04-15	Paper
Notions of Cauchyness and metastability	2018-04-06	Paper
The Third Trick	2018-01-30	Paper
Variations on a theme by Ishihara	2016-07-27	Paper
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS	2015-12-11	Paper
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS	2014-12-05	Paper
Principles Weaker than BD-N	2014-01-07	Paper
Weak König’s Lemma Implies the Uniform Continuity Theorem	2013-10-10	Paper
Constructive aspects of Riemann's permutation theorem for series	2013-03-28	Paper
Reclassifying the antithesis of Specker's theorem	2013-02-04	Paper
http://logicandanalysis.org/index.php/jla/article/viewFile/114/41	2012-12-17	Paper
The Vitali covering theorem in constructive mathematics	2012-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q2917329	2012-09-28	Paper
Uniqueness, continuity and the existence of implicit functions in constructive analysis	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3075214	2011-02-10	Paper
The anti-Specker property, positivity, and total boundedness	2010-08-18	Paper
Sequences of real functions on [0,1 in constructive reverse mathematics]	2009-02-19	Paper
Generalising compactness	2008-03-07	Paper
The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]	2008-02-25	Paper
A constructive treatment of Urysohn's Lemma in an apartness space	2007-02-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hannes Diener