\(\Delta\)\( ^ 0_ 2\) degrees and transfer theorems (Q1093628)

This paper demonstrates the use of Ladner-Sasso type transfer techniques can be used to obtain information concerning the \(\Delta^ 0_ 2\) degrees. For example, we get an easy proof of (a mild generalization of) a result of Cooper and independently Slaman and Steel: there exist r.e. degrees \(\underset \tilde{} a\) and \(\underset \tilde{} b\) with \(\underset \tilde{} 0<\underset \tilde{} a<\underset \tilde{} b\) such that \(\underset \tilde{} a\) can't be cupped to \(\underset \tilde{} b\) in the \(\Delta^ 0_ 2\) degrees. As part of the proof we show that the r.e. wtt-degrees have the global anticupping property: for all r.e. wtt-degrees \(\underset \tilde{} a\neq \underset \tilde{} 0\) there exists an r.e. wtt \(\underset \tilde{} b\) with \(\underset \tilde{} 0<\underset \tilde{} b<\underset \tilde{} a\) such that for all (not necessarily r.e.) wtt-degrees \(\underset \tilde{} c\) if \(\underset \tilde{} a\leq \underset \tilde{} c\cup \underset \tilde{} b\) then \(\underset \tilde{} a\leq \underset \tilde{} c\). Note that this means that the elementary theories of the wtt-degrees below \(\underset \tilde{} 0_ w'\) and the \(\Delta^ 0_ 2\) degrees are different (as the \(\Delta^ 0_ 2\) degrees are complemented).