2 papers
math.LO2026
On the computational properties of ambivalent sets and functions
Dag Normann, Sam Sanders
Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous…
math.LO2026
The uncountability of the reals and the Axiom of Choice
Dag Normann, Sam Sanders
The uncountability of the reals was first established by Cantor in what was later heralded as the first paper on set theory. Since the latter constitutes the official foundations o…