每个非零的a∈R/M中不存在极小元

摘要

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