Reverse mathematics of compact countable second-countable spaces

François G. Dorais

We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works a…