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


Degree spectra of the successor relation of computable linear orderings
Authors:Jennifer Chubb  Andrey Frolov  Valentina Harizanov
Institution:(1) Department of Mathematics, George Washington University, Washington, DC 20052, USA;(2) Department of Mechanics and Mathematics, Kazan State University, 420008 Kazan, Russia
Abstract:We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows from our main result, that for a large class of linear orderings the degree spectrum of the successor relation is closed upward in the c.e. Turing degrees. The authors acknowledge partial support by the NSF binational grant DMS-0554841, and Harizanov by the NSF grant DMS-0704256, and Chubb by the Sigma Xi Grant in Aid of Research.
Keywords:Mathematics Subject Classification (2000)" target="_blank">Mathematics Subject Classification (2000)  03C57  03D45  06A05
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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