Computability of Separation Axioms in Countable Second Countable Spaces

Andrew DeLapo, David Gonzalez

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on t…