|
$\Sigma$-preorderings in ${\mathbb{HF}(\mathbb{R})}$
A. S. Morozovab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Abstract:
It is proved that the ordinal $\omega_1$ cannot be embedded into a
preordering $\Sigma$-definable with parameters in the hereditarily
finite superstructure over the real numbers. As a corollary, we
obtain the descriptions of ordinals $\Sigma$-presentable over
${\mathbb{HF}(\mathbb{R})}$ and of Gödel constructive sets of the
form $L_\alpha$. It is also shown that there are no
$\Sigma$-presentations of structures of $T$-, $m$-, $1$- and
$tt$-degrees.
Keywords:
$\Sigma$-definable preordering, ordinal,
hereditarily finite superstructure, real numbers.
Received: 30.10.2018 Revised: 26.11.2019
Citation:
A. S. Morozov, “$\Sigma$-preorderings in ${\mathbb{HF}(\mathbb{R})}$”, Algebra Logika, 58:5 (2019), 609–626; Algebra and Logic, 58:5 (2019), 405–416
Linking options:
https://www.mathnet.ru/eng/al918 https://www.mathnet.ru/eng/al/v58/i5/p609
|
Statistics & downloads: |
Abstract page: | 251 | Full-text PDF : | 18 | References: | 22 | First page: | 5 |
|