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


The universal Lachlan semilattice without the greatest element
Authors:S Yu Podzorov
Institution:(1) Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
Abstract:We deal with some upper semilattices of m-degrees and of numberings of finite families. It is proved that the semilattice of all c.e. m-degrees, from which the greatest element is removed, is isomorphic to the semilattice of simple m-degrees, the semilattice of hypersimple m-degrees, and the semilattice of Σ 2 0 -computable numberings of a finite family of Σ 2 0 -sets, which contains more than one element and does not contain elements that are comparable w.r.t. inclusion. Supported by the Grant Council (under RF President) for Young Russian Scientists via project MK-1820.2005.1. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 299–345, May–June, 2007.
Keywords:upper semilattice  distributive semilattice  m-degree  numbering  Rogers semilattice  Lachlan semilattice
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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