Пузаренко В. Г.
О существовании насыщенных моделей

Обсуждаются достаточно насыщенные вещественно замкнутые поля. Приводится пример модели, в которой реализуются все арифметические типы, но которая не является достаточно насыщенной. Для этого строится гиперарифметичное элементарное рекурсивно насыщенное расширение любой гиперарифметичной модели.

Puzarenko V. G.
Existence of saturated structures

Under discussion in this paper are real closed fields saturated enough. We give an example of a structure on which all arithmetical types are satisfied but which is not saturated enough. For this purpose, we build a hyperarithmetical recursively saturated elementary extension of each hyperarithmetical structure.

Полный текст статьи / Full texts:

• PDF file
• PostScript file