|
Сибирский математический журнал, 2011, том 52, номер 2, страницы 393–399
(Mi smj2205)
|
|
|
|
О существовании насыщенных моделей
В. Г. Пузаренкоab a Институт математики им. С. Л. Соболева СО РАН, Новосибирск
b Новосибирский гос. университет, механико-математический факультет, Новосибирск
Аннотация:
Обсуждаются достаточно насыщенные вещественно замкнутые поля. Приводится пример модели, в которой реализуются все арифметические типы, но которая не является достаточно насыщенной. Для этого строится гиперарифметичное элементарное рекурсивно насыщенное расширение любой гиперарифметичной модели.
Ключевые слова:
арифметическое множество, гиперарифметичное представление, достаточно насыщенная модель, $\omega$-насыщенная модель, наследственно конечная надстройка, натуральный ординал.
Статья поступила: 01.06.2010
Образец цитирования:
В. Г. Пузаренко, “О существовании насыщенных моделей”, Сиб. матем. журн., 52:2 (2011), 393–399; Siberian Math. J., 52:2 (2011), 311–315
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2205 https://www.mathnet.ru/rus/smj/v52/i2/p393
|
Статистика просмотров: |
Страница аннотации: | 292 | PDF полного текста: | 89 | Список литературы: | 39 | Первая страница: | 2 |
|