Оглавление
Введение .
Глава 1. Сильно конструктивные булевы алгебры .
1.1. Один признак конструктивизируемости
1.2. Критерий изоморфизма
1.3. Оценка сложности моделей .
Глава 2. Однородные булевы алгебры
2.1. Критерий вычислимости для однородных булевых алгебр
2.2. Метатеорема для асистем
2.3. Метатеорема для факторалгебр.
2.4. Две вспомогательные конструкции и отношения
Глава 3. Автоустойчивые 1алгебры .
3.1. Псевдонеразложимые 1алгебры
3.2. Алгебраические инварианты
3.3. Критерий изоморфизма
3.4. Теорема о ветвлении
3.5. Необходимые условия автоустойчивости
3.6. Критерий автоустойчивости .
Литература
- Київ+380960830922