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


Splitting recursively enumerable subalgebras in recursive Boolean algebras
Authors:Shi Niandong
Institution:(1) Department of Mathematics, Nanjing Normal University, Nanjing, China
Abstract:A Boolean algebraB= 
$$\left\langle {B, \wedge , \vee ,\neg } \right\rangle $$
is recursive ifB is a recursive subset of ω and the operations Λ, v and ┌ are partial recursive. A subalgebraC ofB is recursive an (r.e.) ifC is a recursive (r.e.) subset of B. Given an r.e. subalgebraA, we sayA can be split into two r.e. subalgebrasA 1 andA 2 if (A 1A 2)*=A andA 1A 2={0, 1}. In this paper we show that any nonrecursive r.e. subalgebra ofB can be split into two nonrecursive r.e. subalgebras ofB. This is a natural analogue of the Friedberg's splitting theorem in ω recursion theory.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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