Properly ∑_2 minimal degrees and 0 complementation

摘要

We show that there exists a properly ∑_2 minimal (Turing) degree b, and moreover that b can be chosen to join with 0 to 0 - so that b is a 0 complement for every degree a such that 0 ≤ a < 0.