Конструктивные булевы алгебры с выделенными идеалами

Оглавление
Введение
Глава 1. Предварительные сведения
1.1. Предварительные сведения из теории булевых алгебр
1.2. Предварительные сведения из теории конструктивных
моделей.
Глава 2. Универсальная нумерация конструктивных
алгебр
2.1. Порождающие деревья для конструктивных алгебр
2.2. Существование универсальной нумерации
2.3. Единственность универсальной нумерации.
Глава 3. О вычислимых нумерациях конструктивных
алгебр
3.1. Индексные множества некоторых подклассов алгебр
3.2. Бесконечность числа попарно несравнимых вычислимых нумераций
3.3. Сложность нумерационных эквивалентностей вычислимых нумераций
Глава 4. Алгоритмическая размерность булевых алгебр с выделенным идеалом
4.1. Ветвящиеся булевы алгебры с выделенным идеалом .
4.2. Автоустойчивые булевы алгебры с выделенным идеалом 4.3. Критерий автоустойчивости булевых алгебр с выделенным идеалом
Список литературы