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


Truth tabular degrees of recursively enumerable sets
Authors:S. Kallibekov
Affiliation:(1) Institute of Mathematics, Siberian Branch, Academy of Sciences of the USSR, USSR
Abstract:
The upper semilattice of truth tabular degrees of recursively enumerable (r.e.) sets is studied. It is shown that there exists an infinite set of pairwise tabularly incomparable truth tabular degrees higher than any tabularly incomplete r.e. truth tabular degree. A similar assertion holds also for r.e. m-degrees. Hence follows that a complete truth tabular degree contains an infinite antichain of r.e. m-degrees.Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 697–702, November, 1973.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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