1 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Sometimes tame, sometimes wild: weak continuity
Sam Sanders
Continuity is one of the most central notions in mathematics, physics, and computer science. An interesting associated topic is decompositions of continuity, where continuity is sh…
A note on continuous functions on metric spaces
Sam Sanders
Continuous functions on the unit interval are relatively tame from the logical and computational point of view. A similar behaviour is exhibited by continuous functions on compact…