你
请解释一下「极小对」这个词的含义。
助手
极小对
jí xiǎo duì · ㄐㄧˊ ㄒㄧㄠˇ ㄉㄨㄟˋ
ji xiao dui
jxd
ㄐㄧ ㄒㄧㄠ ㄉㄨㄟ
2026-07-11 05:11:32
扩展释义
极小对是一对特殊的递归可枚举度，极小对的存在性最早是由耶茨(Yates , C. E. M.)证明的。极小对的存在性指出，虽然R是稠密的，但休恩菲尔德猜想仍不成立。关于极小对的进一步的结果，拉克伦(Lachlan,A. H.)证明了并非每个非0的递归可枚举度都有一个极小对。