Hannes Diener

Identifiers

• name variant Hannes Diener 0.60 · backfill

Papers (8)

1. Na\"ive Infinitesimal Analysis: Its Construction and Its Properties math.LO · 2020 · author #3
2. (Seemingly) Impossible Theorems in Constructive Mathematics math.LO · 2019 · author #1
3. The Drinker Paradox and its Dual math.LO · 2018 · author #2
4. Constructive Reverse Mathematics math.LO · 2018 · author #1
5. The Third Trick math.LO · 2018 · author #1
6. Classifying Material Implications over Minimal Logic math.LO · 2016 · author #1
7. Separating the Fan Theorem and Its Weakenings math.LO · 2015 · author #2
8. Principles Weaker than BD-N math.LO · 2015 · author #2

Mentions

• 1801.10136 #1 · arxiv_oai · confidence 0.70 Hannes Diener
• 2009.11424 #3 · arxiv_oai · confidence 0.70 Hannes Diener
• 1804.05495 #1 · arxiv_oai · confidence 0.70 Hannes Diener
• 1904.11378 #1 · arxiv_oai · confidence 0.70 Hannes Diener
• 1805.06216 #2 · arxiv_oai · confidence 0.70 Hannes Diener
• 1606.08092 #1 · arxiv_oai · confidence 0.70 Hannes Diener
• 1510.02141 #2 · arxiv_oai · confidence 0.70 Hannes Diener
• 1510.02139 #2 · arxiv_oai · confidence 0.70 Hannes Diener
• 1510.02141 #2 · backfill · confidence 0.70 Hannes Diener
• 1510.02139 #2 · backfill · confidence 0.70 Hannes Diener

Frequent Coauthors

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