35 citations · 187 across the 55 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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…
cs.LO2014
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Sam Sanders
We propose a new model of computation based on nonstandard analysis. Intuitively, the role of "algorithm" is played by a new notion of finite procedure, called Omega-invariance and…