论文部分内容阅读
一个（图灵）理想，是满足两个封闭条件的图灵度集合：向下封闭；任意，中一对图灵度的上确界也在，中。可数理想不仅在图灵度整体性质的研究中有着重要意义，而且在对哥德尔可构成集合L精细结构的早期研究中也发挥过重要作用。研究可数理想的两个重要概念是：恰对和一致上界。借助这两个概念，我们可以将可数理想简化为一个（一致上界）或者一对（恰对）图灵度。通过前人的研究，我们可以发现这两个概念是紧密相连的，同时我们也可以对它们的关系提出进一步的问题。在本文中，我们证明以下定理：任给一个可数理想I，都存在两个I的一致上界a0和a