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