1 citations · 3 across the 12 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020
Reverse Mathematics of the uncountability of : Baire classes, metric spaces, and unordered sums
Sam Sanders
Dag Normann and the author have recently initiated the study of the logical and computational properties of the uncountability of formalised as the statement $\textsf{…
math.LO2020
Countable sets versus sets that are countable in Reverse Mathematics
Sam Sanders
The program Reverse Mathematics (RM for short) seeks to identify the axioms necessary to prove theorems of ordinary mathematics, usually working in the language of second-order ari…
math.LO2020
The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis
Dag Normann, Sam Sanders
The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non-)essential use of AC in mathematics has been well-…