Введение
1. Предварительные сведения 17
1.1. Теория вычислимых моделей 17
1.2. Счетные булевы алгебры 25
1.3. Булевы алгебры с выделенными эндоморфизмами 30
2. Уровни автоустойчивости булевых алгебр 32
2.1. Гиперарифметические уровни автоустойчивости для почти суператомных булевых алгебр 32
2.2. Степени категоричности суператомных булевых алгебр 41
2.3. Аз-категоричность булевых алгебр 46
3. Алгоритмические свойства булевых алгебр с выделенными эндоморфизмами 57
3.1. Конструктивизируемость булевой алгебры *8(о;) с выделенным автоморфизмом 57
3.2. Степени категоричности булевой алгебры 93(ш) с выделенным автоморфизмом 72
3.3. Вычислимые нумерации класса булевых алгебр с выделенными эндоморфизмами 77
Заключение 89
Список литературы 91
