Аннотация:
Изучаются бесконечные уровни иерархии Ершова в естественной системе обозначений, являющиеся собственными для скачков множеств. Доказывается, что собственными бесконечными уровнями для скачков являются только уровни Δ−1aΔ−1a, где aa – обозначение для ординала ωn>1ωn>1.
Образец цитирования:
М. Х. Файзрахманов, “Тьюринговые скачки в иерархии Ершова”, Алгебра и логика, 50:3 (2011), 399–414; Algebra and Logic, 50:3 (2011), 279–289
Marat Faizrahmanov, “A classification of low c.e. sets and the Ershov hierarchy”, Mathematical Logic Qtrly, 69:4 (2023), 508
М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев, “$CEA$-операторы и иерархия Ершова”, Изв. вузов. Матем., 2021, № 8, 72–79; M. M. Arslanov, I. I. Batyrshin, M. M. Yamaleev, “$CEA$ operators and the Ershov hierarchy”, Russian Math. (Iz. VUZ), 65:8 (2021), 63–69