Аннотация
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 |