A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers.

Ruben Gamboa, John R. Cowles

Browse the full ITP paper archive.