Hannes Diener - RankMe

26 papers C 1Misc 2Journal 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Constructive aspects of Riemann's permutation theorem for series. Log. J. IGPL Josef Berger, Douglas S. Bridges, Hannes Diener, Helmut Schwichtenberg
2022	J	`jnl`	The Third Trick. Log. Methods Comput. Sci. Hannes Diener, Matthew Hendtlass
2020	J	`jnl`	Classifying material implications over minimal logic. Arch. Math. Log. Hannes Diener, Maarten McKubre-Jordens
2020	J	`jnl`	Differentiating convex functions constructively. J. Log. Anal. Hannes Diener, Matthew Hendtlass
2020	J	`jnl`	Notions of Cauchyness and metastability. J. Log. Comput. Hannes Diener, Robert S. Lubarsky
2019	J	`jnl`	(Seemingly) Impossible Theorems in Constructive Mathematics. CoRR Hannes Diener, Matthew Hendtlass
2018	J	`jnl`	Bishop's Lemma. Math. Log. Q. Hannes Diener, Matthew Hendtlass
2018	Misc	`conf`	Notions of Cauchyness and Metastability. LFCS Hannes Diener, Robert S. Lubarsky
2018	J	`jnl`	The Drinker Paradox and its Dual. CoRR Louis Warren, Hannes Diener, Maarten McKubre-Jordens
2015	J	`jnl`	Variations on a theme by Ishihara. Math. Struct. Comput. Sci. Hannes Diener
2014	—	`book`	Logic, Computation, Hierarchies Logic, Computation, Hierarchies Vasco Brattka, Hannes Diener, Dieter Spreen
2014	J	`jnl`	Separating the Fan Theorem and its weakenings. J. Symb. Log. Robert S. Lubarsky, Hannes Diener
2013	J	`jnl`	Principles weaker than BD-N. J. Symb. Log. Hannes Diener, Robert S. Lubarsky
2013	Misc	`conf`	Separating the Fan Theorem and Its Weakenings. LFCS Robert S. Lubarsky, Hannes Diener
2013	J	`jnl`	Weak König's Lemma Implies the Uniform Continuity Theorem. Comput. Hannes Diener
2012	J	`jnl`	Reclassifying the antithesis of Specker's theorem. Arch. Math. Log. Hannes Diener
2012	J	`jnl`	The Vitali covering theorem in constructive mathematics. J. Log. Anal. Hannes Diener, Anton Hedin
2011	J	`jnl`	Constructive reverse investigations into differential equations. J. Log. Anal. Hannes Diener, Iris Loeb
2011	J	`jnl`	Uniqueness, continuity and the existence of implicit functions in constructive analysis. LMS J. Comput. Math. Hannes Diener, Peter Schuster
2010	J	`jnl`	On Choice Principles and Fan Theorems. J. Univers. Comput. Sci. Hannes Diener, Peter Schuster
2010	J	`jnl`	The anti-Specker property, positivity, and total boundedness. Math. Log. Q. Douglas S. Bridges, Hannes Diener
2009	J	`jnl`	Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Log. Hannes Diener, Iris Loeb
2009	C	`conf`	Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. CCA Hannes Diener, Peter Schuster
2008	J	`jnl`	Generalising compactness. Math. Log. Q. Hannes Diener
2007	J	`jnl`	The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. J. Symb. Log. Douglas S. Bridges, Hannes Diener
2006	J	`jnl`	A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. Douglas S. Bridges, Hannes Diener