|
|
Sibirskii Matematicheskii Zhurnal, 2006, Volume 47, Number 3, Pages 595–612
(Mi smj880)
|
|
|
|
This article is cited in 6 scientific papers (total 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.
Received: 14.12.2004
Citation:
A. S. Morozov, “Elementary submodels of parametrizable models”, Sibirsk. Mat. Zh., 47:3 (2006), 595–612; Siberian Math. J., 47:3 (2006), 491–504
Linking options:
https://www.mathnet.ru/eng/smj880 https://www.mathnet.ru/eng/smj/v47/i3/p595
|
|