|
This article is cited in 15 scientific papers (total in 15 papers)
Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
S. S. Goncharovab, M. I. Marchuka a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia
b Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia
Abstract:
We evaluate algorithmic complexity of the class of computable models of bounded signature that have a strong constructivization and are autostable relative to strong constructivizations.
Keywords:
model, computable model, constructive model, autostability, index sets.
Received: 07.11.2014
Citation:
S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations”, Algebra Logika, 54:2 (2015), 163–192; Algebra and Logic, 54:2 (2015), 108–126
Linking options:
https://www.mathnet.ru/eng/al686 https://www.mathnet.ru/eng/al/v54/i2/p163
|
Statistics & downloads: |
Abstract page: | 313 | Full-text PDF : | 51 | References: | 38 | First page: | 11 |
|