Мақаланы E-mail арқылы жіберу Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
- Авторлар: Goncharov S.S.1,2, Bazhenov N.A.1,2, Marchuk M.I.1
-
Мекемелер:
- Sobolev Institute of Mathematics SB RAS
- Novosibirsk State University
- Шығарылым: Том 221, № 6 (2017)
- Беттер: 840-848
- Бөлім: Article
- URL: https://ogarev-online.ru/1072-3374/article/view/239118
- DOI: https://doi.org/10.1007/s10958-017-3272-0
- ID: 239118
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
We prove that a computable ordinal α is autostable relative to strong constructivizations if and only if α < ωω+1. We obtain an estimate of the algorithmic complexity for the class of strongly constructivizable linear orderings that are autostable relative to strong constructivizations.
Авторлар туралы
S. Goncharov
Sobolev Institute of Mathematics SB RAS; Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: s.s.goncharov@math.nsc.ru
Ресей, 4, pr. Akad. Koptyuga, Novosibirsk, 630090; 2, ul. Pirogova, Novosibirsk, 630090
N. Bazhenov
Sobolev Institute of Mathematics SB RAS; Novosibirsk State University
Email: s.s.goncharov@math.nsc.ru
Ресей, 4, pr. Akad. Koptyuga, Novosibirsk, 630090; 2, ul. Pirogova, Novosibirsk, 630090
M. Marchuk
Sobolev Institute of Mathematics SB RAS
Email: s.s.goncharov@math.nsc.ru
Ресей, 4, pr. Akad. Koptyuga, Novosibirsk, 630090
Қосымша файлдар
