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


The Rogers Semilattices of Generalized Computable Enumerations
Authors:Email author" target="_blank">M?Kh?FaizrahmanovEmail author
Institution:1.Kazan (Volga Region) Federal University,Kazan,Russia
Abstract:We study the cardinality and structural properties of the Rogers semilattice of generalized computable enumerations with arbitrary noncomputable oracles and oracles of hyperimmune Turing degree. We show the infinity of the Rogers semilattice of generalized computable enumerations of an arbitrary nontrivial family with a noncomputable oracle. In the case of oracles of hyperimmune degree we prove that the Rogers semilattice of an arbitrary infinite family includes an ideal without minimal elements and establish that the top, if present, is a limit element under the condition that the family contains the inclusion-least set.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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