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


Initial Segments in Rogers Semilattices of Sigma _n^0 -Computable Numberings
Authors:S. Yu. Podzorov
Affiliation:(1) Akademika Koptyuga Prospekt, 4, Institute of Mathematics SB RAS, Novosibirsk, 630090
Abstract:
S. Goncharov and S. Badaev showed that for 
$$n geqslant 2$$
, there exist infinite families whose Rogers semilattices contain ideals without minimal elements. In this connection, the question was posed as to whether there are examples of families that lack this property. We answer this question in the negative. It is proved that independently of a family chosen, the class of semilattices that are principal ideals of the Rogers semilattice of that family is rather wide: it includes both a factor lattice of the lattice of recursively enumerable sets modulo finite sets and a family of initial segments in the semilattice of 
$$m$$
-degrees generated by immune sets.
Keywords:Rogers semilattice  recursively enumerable set  immune set    IE4"  >  /content/g5u383142gl17412/10469_2004_Article_466935_TeX2GIFIE4.gif"   alt="     $$m$$   "   align="  middle"   border="  0"  >-degree
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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