6 citations · 7 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Computational reverse mathematics and foundational analysis
Benedict Eastaugh
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical applicatio…
math.LO2018★ 6 cited
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
Benedict Eastaugh
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order…