RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2006 Volume 47, Number 3, Pages 595–612 (Mi smj880)

This article is cited in 6 papers

Elementary submodels of parametrizable models

A. S. Morozov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: 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.

Keywords: parametrizable model, elementary submodel, hereditarily finite superstructure, self-parametrizable model.

UDC: 510.6

Received: 14.12.2004


 English version:
Siberian Mathematical Journal, 2006, 47:3, 491–504

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025