Enviar artigo por via de e-mail Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations
- Autores: Goncharov S.S.1,2, Marchuk M.I.1
-
Afiliações:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Edição: Volume 54, Nº 6 (2016)
- Páginas: 428-439
- Seção: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/233960
- DOI: https://doi.org/10.1007/s10469-016-9365-x
- ID: 233960
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
We estimate algorithmic complexity of the class of computable models of finite and graph signatures that have a strong constructivization and are autostable relative to strong constructivizations.
Palavras-chave
Sobre autores
S. Goncharov
Sobolev Institute of Mathematics; Novosibirsk State University
Autor responsável pela correspondência
Email: s.s.goncharov@math.nsc.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
M. Marchuk
Sobolev Institute of Mathematics
Autor responsável pela correspondência
Email: margaretmarchuk@gmail.com
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090
Arquivos suplementares
