Toward deciding the AE-theory of the Sigma02-enumeration degrees
Add to your list(s)
Download to your calendar using vCal
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
This talk is part of the Isaac Newton Institute Seminar Series series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|