Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hannes Diener
Map detail
Hannes Diener5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipHannes DienerAHannes DienerResearcherConstructive Reverse MathematicsWConstructive Reverse Ma...preprint / 2020Classifying Material Implications over Minimal LogicWClassifying Material Im...preprint / 2016Separating the Fan Theorem and Its WeakeningsWSeparating the Fan Theo...preprint / 2015Principles Weaker than BD-NWPrinciples Weaker than ...preprint / 2015
Person4 links

Hannes Diener

Researcher