Hannes Diener

Identifiers

• name variant Hannes Diener 0.60 · backfill

Papers (5)

1. (Seemingly) Impossible Theorems in Constructive Mathematics math.LO · 2019 · author #1
2. The Drinker Paradox and its Dual math.LO · 2018 · author #2
3. Classifying Material Implications over Minimal Logic math.LO · 2016 · author #1
4. Separating the Fan Theorem and Its Weakenings math.LO · 2015 · author #2
5. Principles Weaker than BD-N math.LO · 2015 · author #2

Mentions

• 1510.02141 #2 · backfill · confidence 0.70 Hannes Diener
• 1510.02139 #2 · backfill · confidence 0.70 Hannes Diener

Frequent Coauthors

• Maarten McKubre-Jordens 2 shared papers
• Robert S. Lubarsky 2 shared papers
• Louis Warren 1 shared papers
• Matthew Hendtlass 1 shared papers