Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations
- Авторлар: Goncharov S.S.1,2, Marchuk M.I.1
-
Мекемелер:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Шығарылым: Том 54, № 6 (2016)
- Беттер: 428-439
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/233960
- DOI: https://doi.org/10.1007/s10469-016-9365-x
- ID: 233960
Дәйексөз келтіру
Аннотация
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.
Негізгі сөздер
Авторлар туралы
S. Goncharov
Sobolev Institute of Mathematics; Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: s.s.goncharov@math.nsc.ru
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
M. Marchuk
Sobolev Institute of Mathematics
Хат алмасуға жауапты Автор.
Email: margaretmarchuk@gmail.com
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090
Қосымша файлдар
