Degrees of autostability relative to strong constructivizations

Article

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.

Copyright information

© Pleiades Publishing, Ltd. 2011

Authors and Affiliations

  1. 1.Novosibirsk State University and Sobolev Institute of MathematicsSiberian Branch of the Russian Academy of SciencesNovosibirskRussia

Personalised recommendations