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

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