Предикаты доказуемости и связанные с ними алгебры Колмаков Евгений Александрович

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

Колмаков, Евгений Александрович.
Предикаты доказуемости и связанные с ними алгебры : диссертация ... кандидата физико-математических наук : 01.01.06 / Колмаков Евгений Александрович; [Место защиты: ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»]. - Москва, 2021. - 125 с. : ил.
Оглавление диссертациикандидат наук Колмаков Евгений Александрович
Введение
Глава 1 Аксиоматизация доказуемой п-доказуемости
1.1 Основные понятия и обозначения
1.2 Доказуемая п-доказуемость
1.2.1 Введение и простейшие свойства
1.2.2 Случай базовой метатеории ЕА
1.2.3 Случай произвольной метатеории для п =1
1.2.4 Релятивизация для произвольного п >
1.3 Результаты об ускорении
Глава 2 Локальная рефлексия, определимые элементы и
1-доказуемость
2.1 Рефлексия с определимыми параметрами
2.2 Локальная рефлексия и ш-непротиворечивость
2.3 Обобщённая теорема Фефермана
Глава 3 Изоморфизмы алгебр доказуемости
3.1 Функция ^-рефлексии (х) и классы Ту(и)
3.2 Теорема о неизоморфизме и её следствия
3.3 Бимодальные алгебры доказуемости
Заключение
Список литературы
Введение