| | <正> 自Metakides和Nerode建议用通常的递归论为工具研究某些代数结构以来,Metakides和Nerode,Kalantari,Retzlaff,Remmel,Sbore等人已经研究了递归表示向量空间及其他能行的数学结构。Remmel在文[1]、[2]中研究了弱递归表示布尔代数的一些问题。作者在[3]中研究了递归可枚举布尔代数的创造对。本文对递归原子集生成的弱递归表
【作者单位】：南京师大数学系
【DOI】：cnki:ISSN:1001-4616.0.1986-02-001
【正文快照】：
自Motakides和Nerode建议用通常的递归论为工具研究某些代数结构以来,·Metaki-d es和Nerode,Kalaotari,Retzlaff,Remmel,shore等人巳经研究了递归表示向量空间及其他能行的数学结构。R elnmel在文〔1〕、〔2〕中研究了弱递归表示布尔代数的一些问题。作者在〔3〕中研究了递归可枚举布尔代数的创造对。本文对递归原子集生成的弱递归表示布尔代数,‘建立了Friedberg分解定理。 在通常的递归论中,Friedberg在〔4〕里给出了下述著名的定理。 一设A是任意的非递归的递归可枚举集,则有递归可枚举集B:和B:满足 (元)B:UB:二A,B;门B:=中, (1… |
