Jump inversions of algebraic structures and Σ-definability

Marat Faizrahmanov, Asher Kach, Iskander Kalimullin, Antonio Montalbán, Vadim Puzarenko

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

1 Цитирования (Scopus)

Аннотация

It is proved that for every countable structure A and a computable successor ordinal α there is a countable structure A−α which is (Formula presented.) -least among all countable structures C such that A is Σ-definable in the αth jump C(α). We also show that this result does not hold for the limit ordinal α = ω. Moreover, we prove that there is no countable structure A with the degree spectrum (Formula presented.) for (Formula presented.).

Язык оригиналаанглийский
Страницы (с-по)37-45
Число страниц9
ЖурналMathematical Logic Quarterly
Том65
Номер выпуска1
DOI
СостояниеОпубликовано - 1 мая 2019

Fingerprint Подробные сведения о темах исследования «Jump inversions of algebraic structures and Σ-definability». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать