Морозов А. С.
Элементарные подмодели параметризуемых моделей

Вводится понятие F$-параметризации модели. В терминах F-параметризаций
получены некоторые общие результаты об элементарных подмоделях F-параметризуемых моделей. Это позволяет, в частности, единым методом описать элементарные подмодели в языке первого порядка и в языке наследственно конечных надстроек для поля вещественных чисел и группы всех перестановок на натуральных числах. В предположении аксиомы конструктивности получена более простая характеризация элементарных подмоделей и установлены некоторые свойства структуры элементарных подмоделей F-параметризуемых моделей.

Morozov A. S.
Elementary submodels of parametrizable models

We introduce the notion of F-parametrizable model and prove some general results on elementary submodels of F-parametrizable models. Using this notion, we can uniformly characterize all elementary submodels for the field of real numbers and for the group of all permutations on natural numbers in the first order language as well as in the language of hereditarily finite superstructures. Assuming the constructibility axiom, we obtain a simpler characterization of elementary submodels of F-parametrizable models and prove some additional properties of the structure of their elementary submodels.

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

• PDF file (505 KB)
• PostScript file (1 MB)