Some Algebraic Properties of Recursively Enumerable Degrees

质，比如R是稠密的（Sacks (1964)），即(∀a,b ∈ R)(a < b → (∃c ∈ R)(a < c < b))；R 是一个上半格，一般来说两个元素的下确界不存在（Lachlan (1966)，Yates (1966)）。 Sacks稠密性定理的证明导致许多人猜测R是一个简单的结构，比如：Shoenfield (1965)猜想这个结构是齐次的（即如果一个偏序P可以嵌入R中，而且Q是P