Cantor 1880 / Lebesgue 1905 / Luzin 1917 / Suslin 1917. Borel-hierarchy + projective-hierarchy + analytic-coanalytic sets. Determinacy axioms. Bridges recursion + set-theory.
Cantor 1880 / Lebesgue 1905 / Luzin 1917 / Suslin 1917. Borel-hierarchy + projective-hierarchy + analytic-coanalytic sets. Determinacy axioms. Bridges recursion + set-theory.