Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

We prove that there are non-recursive r.e.sets A and C with A<T C such that for every set F(?)T A,C∩F≡w(?).

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

证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].