RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

Trudy Mat. Inst. Steklova, 2011 Volume 274, Pages 119–129 (Mi tm3321)

This article is cited in 32 papers

Degrees of autostability relative to strong constructivizations

S. S. Goncharovab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia

Abstract: The spectra of the Turing degrees of autostability of computable models are studied. For almost prime decidable models, it is shown that the autostability spectrum relative to strong constructivizations of such models always contains a certain recursively enumerable Turing degree; moreover, it is shown that for any recursively enumerable Turing degree, there exist prime models in which this degree is the least one in the autostability spectrum relative to strong constructivizations.

UDC: 510.55+510.532+510.67

Received in November 2010


 English version:
Proceedings of the Steklov Institute of Mathematics, 2011, 274, 105–115

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025