Σ-Preorderings in ℍF (ℝ)

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

It is proved that the ordinal ω1cannot be embedded into a preordering Σ-definable with parameters in the hereditarily finite superstructure over the real numbers. As a corollary, we obtain the descriptions of ordinals Σ-presentable overℍF(ℝ) and of Gödel constructive sets of the form Lα. It is also shown that there are no Σ-presentations of structures of T-, m-, 1- and tt-degrees.

Язык оригиналаанглийский
Страницы (с-по)405-416
Число страниц12
ЖурналAlgebra and Logic
Том58
Номер выпуска5
DOI
СостояниеОпубликовано - 1 ноя 2019

Fingerprint Подробные сведения о темах исследования «Σ-Preorderings in ℍF (ℝ)». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать