Семейства перестановок и идеалы тьюринговых степеней Full article
Journal |
Алгебра и логика
ISSN: 0373-9252 |
||||||||
---|---|---|---|---|---|---|---|---|---|
Output data | Year: 2022, Volume: 61, Number: 6, Pages: 706-719 Pages count : 14 DOI: 10.33048/alglog.2022.61.603 | ||||||||
Tags | вычислимая перестановка, семейство перестановок, скачок, тьюрингова степень, идеал тьюринговых степеней, спектр степеней | ||||||||
Authors |
|
||||||||
Affiliations |
|
Funding (5)
1 | Russian Foundation for Basic Research | 20-0100300 А |
2 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
3 |
Министерство науки и высшего образования РФ Mathematical Center in Akademgorodok |
075-15-2019-1613, 075-15-2022-281 |
4 | Russian Science Foundation | 22-21-20024 |
5 | Kazan Federal University | 075-02-2022-882 |
Abstract:
Изучаются семейства PI, состоящие из перестановок натурального ряда ω, степени которых принадлежат идеалу тьюринговых степеней I, и их скачки P′I. Для любого счётного тьюрингова идеала I приводятся описания спектров степеней семейств PI и их скачков P′I. Для некоторых идеалов I, порождённых в. п. степенями, определяются спектры семейств PI.
Cite:
Морозов А.С.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Семейства перестановок и идеалы тьюринговых степеней
Алгебра и логика. 2022. Т.61. №6. С.706-719. DOI: 10.33048/alglog.2022.61.603 РИНЦ
Семейства перестановок и идеалы тьюринговых степеней
Алгебра и логика. 2022. Т.61. №6. С.706-719. DOI: 10.33048/alglog.2022.61.603 РИНЦ
Translated:
Morozov A.
, Puzarenko V.G.
, Faizrachmanov M.K.
Families of Permutations and Ideals of Turing Degrees
Algebra and Logic. 2023. V.61. N6. P.481-490. DOI: 10.1007/s10469-023-09714-1 WOS Scopus РИНЦ OpenAlex
Families of Permutations and Ideals of Turing Degrees
Algebra and Logic. 2023. V.61. N6. P.481-490. DOI: 10.1007/s10469-023-09714-1 WOS Scopus РИНЦ OpenAlex
Dates:
Submitted: | Apr 19, 2022 |
Accepted: | Oct 13, 2023 |
Published print: | Nov 3, 2023 |
Published online: | Nov 3, 2023 |
Identifiers:
Elibrary: | 54693357 |
Citing:
DB | Citing |
---|---|
Elibrary | 1 |