Определимость в наследственно конечных допустимых множествах Хисамиев, Асылхан Назифович

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

Хисамиев, Асылхан Назифович.
Определимость в наследственно конечных допустимых множествах : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 68 с.
Оглавление диссертациикандидат физико-математических наук Хисамиев, Асылхан Назифович
Введение
Глава 1. Е- нумерация и Е - определимость в наследственно конечном допустимом множестве.
§1. Е- нумерация и критерий Е - определимости в НР(Ш) над моделью Ш, допускающую Е- нумерацию.
§2. Нумерация конечно порожденных алгебр.
§3. Условие существование Е- нумерации.
§4. Некоторые применения.
§5. Одно условие Е- определимости модели в наследственно конечном допустимом множестве
§6. О внутренней перечислимости линейных порядков
Глава 2. Сильная Ах- определимость модели в допустимом множестве
§7. В- модели и критерий А- определимости модели в наследственно конечном допустимом множестве
§8. Абелевы р- группы.
§9. Булевы алгебры