数理逻辑是数学研究的一个重要分支。而递归论是数理逻辑研究中一个主要方向,它的一个研究目的是分析问题的可计算性和其可计算的......

本文研究计算可枚举图灵度的结构，提出并完成了一个加杯层谱的证明。 计算可枚举度（computably enumerable，c．e．degree）a被称作加杯的......

证明了给定任何非零的递归可枚举图灵度ａ存在递归可枚举图灵度ｃ〈ａ和ｄ∈Ｍ，使得ａ≤ｄＵｃ．由此可以得到：在每个非零「Ａ」∈Ｒ∧Ｍ中不存在极小元，即给定任......