Graph explorer

Research map

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

Constructive Reverse Mathematics
Map detail
Constructive Reverse Mathematics3 visible / 3 total nodes / 2 links

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

AuthorshipTopic signalConstructive Reverse MathematicsWConstructive Reverse Mathematicspreprint / 2020Hannes DienerAHannes DienerResearchermath.LOTmath.LO1661 works
Paper2 links

Constructive Reverse Mathematics

preprint / 2020