5 papers
On countability and representations
Sam Sanders
The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set cruci…
From real analysis to the sorites paradox via Reverse Mathematics
Walter Dean, Sam Sanders
This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on Hölder's Representation…
Formalism 25
Mikhail G. Katz, Karl Kuhlemann, Sam Sanders +1
Abraham Robinson's philosophical stance has been the subject of several recent studies. Erhardt following Gaifman claims that Robinson was a finitist, and that there is a tension b…
Coding is hard
Sam Sanders
A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hi…
Connecting real and hyperarithmetical analysis
Sam Sanders
Going back to Kreisel in the Sixties, hyperarithmetical analysis is a cluster of logical systems just beyond arithmetical comprehension. Only recently natural examples of theorems…