1 citations · 3 across the 11 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.LO2023
Exploring the abyss in Kleene's computability theory
Sam Sanders
Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which fo…
math.LO2023
Big in Reverse Mathematics: measure and category
Sam Sanders
The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps mos…
math.LO2023
The non-normal abyss in Kleene's computability theory
Sam Sanders
Kleene's computability theory based on his S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's `machine model' which fo…