35 citations · 187 across the 55 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 2 cited
The taming of the Reverse Mathematics zoo
Sam Sanders
Reverse Mathematics is a program in the foundations of mathematics. Its results give rise to an elegant classification of theorems of ordinary mathematics based on computability. I…
math.LO2014★ 1 cited
Reverse Mathematics and parameter-free Transfer
Benno van den Berg, Sam Sanders
Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed. In this paper, we study…