Graph explorer

Constructive Reverse Mathematics

An introduction and overview of constructive reverse mathematics.

3 nodes2 linksoverview mapConstructive Reverse Mathematics
3 nodes2 links
Constructive Reverse Mathematics3 visible / 3 total nodes / 2 links
AuthorshipTopic signalWConstructive Reverse Mathematicspreprint / 2020AHannes DienerResearcherTmath.LO1661 works
PaperSignal 102 links

Constructive Reverse Mathematics

preprint / 2020

Open