1 citations · 3 across the 11 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
Searching through the reals
Sam Sanders
It is a commonplace to say that `one can search through the natural numbers', by which is meant the following: For a property, decidable in finite time and which is not false for a…
math.LO2015★ 1 cited
Uniform and nonstandard existence in Reverse Mathematics
Sam Sanders
Reverse Mathematics is a program in the foundations of mathematics which provides an elegant classification of theorems of ordinary mathematics based on computability. Our aim is t…
math.LO2015★ 1 cited
Reverse Mathematics of Brouwer's continuity theorem and related principles
Sam Sanders
In intuitionistic mathematics, the Brouwer Continuity Theorem states that all total real functions are (uniformly) continuous on the unit interval. We study this theorem and relate…