1 citations · 3 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
On the computational properties of the Baire Category Theorem
Sam Sanders
Computability theory is a discipline in the intersection of computer science and mathematical logic where the fundamental question is: given two mathematical objects X and Y, does…
math.LO2022
Reverse Mathematics of the uncountability of
Sam Sanders
In his first set theory paper (1874), Cantor establishes the uncountability of . We study the latter in Kohlenbach's higher-order Reverse Mathematics, motivated by the…