Topological Spaces Over Algorithmic Representations of Universal Algebras

Abstract

In this paper, we examine topological spaces that can be effectively defined over factor sets modulo equivalences on the set of natural numbers. We formulate a criterion of computable (effective) separability of topological spaces in terms of the approximability of the corresponding algebras by negative (uniformly effectively separated) algebras. We compare negative and positive algebra representations from the standpoint of the structure of the corresponding effective spaces. For effective infinite topological spaces, we prove the existence of their infinite effective compact extensions.