This article is cited in 14 papers

Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations

S. S. Goncharov^ab, M. I. Marchuk<sup>a

a</sup> 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.

UDC: 510.5

Received: 07.11.2014

DOI: 10.17377/alglog.2015.54.203

 English version: Algebra and Logic, 2015, 54:2, 108–126

Bibliographic databases:

• 
• 
•