If you have a question about this talk, please contact nobody.
SASW09 - International conference on computability, complexity and randomness
In joint work with Goh, Kalimullin and Yamaleev, we present a result toward deciding the AE-theory of the Sigma02-enumeration degrees: Ahmad (1989) showed the existence of Ahmad pair in this structure, namely, of incomparable degrees a and b such that any degree x