Введение
Глава 1. Сильно конструктивные булевы алгебры 13
1.1. Один признак конструктивизируемости 18
1.2. Критерий изоморфизма 27
1.3. Оценка сложности моделей 32
Глава 2. Однородные булевы алгебры 37
2.1. Критерий вычислимости для однородных булевых алгебр 39
2.2. Метатеорема для а-систем 44
2.3. Метатеорема для фактор-алгебр 48
2.4. Две вспомогательные конструкции и отношения а 57
Глава 3. Автоустойчивые 1-алгебры 62
3.1. Псевдо-неразложимые 1-алгебры 64
3.2. Алгебраические инварианты 67
3.3. Критерий изоморфизма 76
3.4. Теорема о ветвлении 82
3.5. Необходимые условия автоустойчивости 91
3.6. Критерий автоустойчивости 108
Литература 115
