Топологические пространства над алгоритмическими представлениями универсальных алгебр

Изучаются топологические пространства, эффективно определимые над фактор-множествами по модулю эквивалентностей на множестве натуральных чисел. Формулируется критерий вычислимой (эффективной) отделимости топологических пространств в терминах аппроксимируемости соответствующих алгебр негативными (равномерно эффективно отделимыми). Приведено сравнение негативных и позитивных представлений алгебр с точки зрения строения соответствующих эффективных пространств. Для эффективных бесконечных топологических пространств доказано существование их бесконечных эффективных компактных расширений.