The reverse mathematics zoo aims to be a database showing the relations and dependencies of mathematical theorems as described in the theory of reverse mathematics.
Joel David Hamkins
- 236.3k
- 44
- 777
- 1.4k