Элементарные подмодели параметризуемых моделей

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