Σ-определимость в наследственно конечных надстройках над расширениями поля действительных чисел Александрова Светлана Анатольевна

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

Александрова, Светлана Анатольевна.
Σ-определимость в наследственно конечных надстройках над расширениями поля действительных чисел : диссертация ... кандидата физико-математических наук : 01.01.06 / Александрова Светлана Анатольевна; [Место защиты: Институт математики им. С.Л. Соболева СО РАН]. - Новосибирск, 2019. - 81 с.
Оглавление диссертациикандидат наук Александрова Светлана Анатольевна
Введение
1. Предварительные сведения
1.1. Теория допустимых множеств
1.2. Наследственно конечные надстройки и Х-определимость
1.3. Вычислимый анализ
1.4. Списочные надстройки
1.5. Автоматные структуры
2. Определимость в наследственно конечных надстройках
2.1. Наследственно конечная и списочная надстройки
3. Вычислимость над полем действительных чисел
3.1. Униформизация в наследственно конечной и списочной надстройке над полем действительных чисел
3.2. Х-определимость и вычислимый анализ
4. Списочные надстройки конечных рангов
4.1. Элементарные теории списочных надстроек
4.2. Автоматные и древесно автоматные представления списочных надстроек
Заключение
Список литературы
Введение