30 citations · 86 across the 24 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 30 cited
On the mathematical and foundational significance of the uncountable
Dag Normann, Sam Sanders
We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, th…
math.LO2017★ 16 cited
Computability Theory, Nonstandard Analysis, and their connections
Dag Normann, Sam Sanders
We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately relat…