1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
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…