首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号