|
Sibirskii Matematicheskii Zhurnal, 2011, Volume 52, Number 2, Pages 393–399
(Mi smj2205)
|
|
|
|
Existence of saturated structures
V. G. Puzarenkoab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Mechanics and Mathematics Department, Novosibirsk, Russia
Abstract:
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.
Keywords:
arithmetical set, hyperarithmetical presentation, model saturated enough, $\omega$-saturated model, hereditarily finite superstructures, natural ordinals.
Received: 01.06.2010
Citation:
V. G. Puzarenko, “Existence of saturated structures”, Sibirsk. Mat. Zh., 52:2 (2011), 393–399; Siberian Math. J., 52:2 (2011), 311–315
Linking options:
https://www.mathnet.ru/eng/smj2205 https://www.mathnet.ru/eng/smj/v52/i2/p393
|
Statistics & downloads: |
Abstract page: | 292 | Full-text PDF : | 89 | References: | 39 | First page: | 2 |
|