Вычислимость и конструктивность в ограниченных фрагментах теорий Подзоров, Сергей Юрьевич

Короткий опис

Подзоров, Сергей Юрьевич.
Вычислимость и конструктивность в ограниченных фрагментах теорий : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 79 с.
Оглавление диссертациикандидат физико-математических наук Подзоров, Сергей Юрьевич
Содержание
1 Основные определения
1.1 Основные понятия, относящиеся к теории моделей, теории рекурсии и общим вопросам
1.2 Основные понятия, относящиеся к булевым алгебрам, и иерархия Фейнера
2 Вычислимые классы конструктивизацдй
2-конструктивизируемых моделей
2.1 Предварительные сведения
2.2 Доказательство эффективной бесконечности
3 Ограниченно полные модели
3.1 Ограниченно полные булевы алгебры в константных обогащениях
3.2 Ограниченно полные булевы алгебры в обогащении идеалом
4 Рекурсивные однородные булевы алгебры
4.1 Необходимое и достаточное условия рекурсив-ности
4.2 Простые и счетно-насыщенные булевы алгебры
5 Список литературы