Degrees of autostability relative to strong constructivizations |
| |
Authors: | S S Goncharov |
| |
Institution: | 1.Novosibirsk State University and Sobolev Institute of Mathematics,Siberian Branch of the Russian Academy of Sciences,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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|