Морозов А. С.
О гомеоморфизмах эффективных топологических пространств

Изучаются эффективные представления и гомеоморфизмы эффективных топологических пространств. С помощью построения функтора из категории вычислимых моделей в категорию эффективных топологических пространств, в частности, показано, что существуют гомеоморфные эффективные топологические пространства, между которыми не существует гиперарифметического гомеоморфизма; существуют эффективные топологические пространства с группой автогомеоморфизмов мощности континуум, среди которых только тривиальный автогомеоморфизм является гиперарифметическим. Показано также, что если группа автогомеоморфизмов гиперарифметического топологического пространства имеет мощность менее 2^ω, то эта группа гиперарифметическая.
Введено понятие сильного вычислимого гомеоморфизма и решена проблема числа эффективных представлений T₀-пространств с эффективной базой открыто-замкнутых множеств относительно сильных гомеоморфизмов.

Morozov A. S.
On homeomorphisms of effective topological spaces

We study effective presentations and homeomorphisms of effective topological spaces. By constructing a functor from the category of computable models into the category of effective topological spaces, we show in particular that there exist homeomorphic effective topological spaces admitting no hyperarithmetical homeomorphism between them and there exist effective topological spaces whose autohomeomorphism group has the cardinality of the continuum but whose only hyperarithmetical autohomeomorphism is trivial. It is also shown that if the group of autohomeomorphisms of a hyperarithmetical topological space has cardinality less than 2^ω then this group is hyperarithmetical. We introduce the notion of strong computable homeomorphism and solve the problem of the number of effective presentations of T₀-spaces with effective bases of clopen sets with respect to strong homeomorphisms.

Полный текст статьи / Full texts:

• PDF file (550 KB)
• PostScript file (1 MB)