Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Springer Science+Business Media New York, 2015