30 citations · 86 across the 24 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
The Biggest Five of Reverse Mathematics
Dag Normann, Sam Sanders
The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent…
math.LO2022★ 13 cited
On the computational properties of basic mathematical notions
Dag Normann, Sam Sanders
We investigate the computational properties of basic mathematical notions pertaining to -functions and subsets of , like finiteness, c…