1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Sam Sanders
Reverse Mathematics (RM for short) is a program in the foundations of mathematics where the aim is to find the minimal axioms needed to prove a given theorem of ordinary mathematic…