Enviar artigo por via de e-mail Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
- Autores: Goncharov S.S.1,2, Bazhenov N.A.1,2, Marchuk M.I.1
-
Afiliações:
- Sobolev Institute of Mathematics SB RAS
- Novosibirsk State University
- Edição: Volume 221, Nº 6 (2017)
- Páginas: 840-848
- Seção: Article
- URL: https://ogarev-online.ru/1072-3374/article/view/239118
- DOI: https://doi.org/10.1007/s10958-017-3272-0
- ID: 239118
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Sobre autores
S. Goncharov
Sobolev Institute of Mathematics SB RAS; Novosibirsk State University
Autor responsável pela correspondência
Email: s.s.goncharov@math.nsc.ru
Rússia, 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
Rússia, 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
Rússia, 4, pr. Akad. Koptyuga, Novosibirsk, 630090
Arquivos suplementares
