Effective Second Countability in Computable Analysis.

Vasco Brattka, Emmanuel Rauzy

Browse the full CiE paper archive.