Ви є тут

Вычислимость в допустимых множествах

Автор: 
Стукачев Алексей Ильич
Тип роботи: 
Кандидатская
Рік: 
2002
Артикул:
322644
179 грн
Додати в кошик

Вміст

Оглавление
1 Предварительные сведения
2 Свойство униформизации в наследственно конечных
надстройках
3 допустимые семейства в НУРнадстройках
3.1 Ерегулярные семейства
3.2 Фундаментальные множества
3.3 Фундаментальные семейства в линейных порядках.
3.4 Дмножества в НУРнадстройках . об
4 Еопределимость специальных допустимых множеств
4.1 О парах рекурсивно насыщенных систем
4.2 Еопределимость классов моделей
спростых теорий.
4.3 Еопределимость специальных допустимых множеств.
Литература