递归原子集生成的布尔代数的分解

自Metakides和Nerode建议用通常的递归论为工具研究某些代数结构以来,Metakides和Nerode,Kalantari,Retzlaff,Remmel,Sbore等人已经研究了递归表示向量空间及其他能行的数学结构。Remmel在文[1]、[2]中研究了弱递归表示布尔代数的一些问题。作者在[3]中研究了递归可枚举布尔代数的创造对。本文对递归原子集生成的弱递归表     

关于W_1L演算的注记

本文在文献[1]的基础上对W_1L演算的可证公式进行了推证,并在W_1L系统上添加了五条新的公理构成一个新演算系统W_2L,证明在kleenec系统的99条定理中,强蕴涵词的弗晰赋值为真的或有效的公式在W_2L中均可证,一切赋值不真的公式在W_2L中都是不可证的。     

递归可枚举布尔代数的创造对

<正> 在[1]中,Mctakides 和 Ncrode 建议用当代的递归论作为工具,对某些代数结构进行研究。通过这样的研究,弄清这些代数结构的递归性质。1977年,Metakides 和 Nerodc 发表了[2].嗣后,Kalantari,Retzlaff,Rcmmel,Shore 等人继续对递归可枚举向量空间进行研究,发表了一批论文。1978年,Remmel 发表了[3],对弱递归可表示布尔代数第一次进行了研究.在这篇文章中,Remmel 相应于自然数上的创造集,定义了弱递归可表示布