An effective version of the Stone duality

Nikolay A. Bazhenov, Iskander Sh. Kalimullin, Marina V. Schwidefsky

The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topo…