摘要
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].
- 出版日期2000
- 单位中国科学院软件研究所; 扬州大学
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].