On cupping and Ahmad pairs
Working toward showing the decidability of the ∀∃-theory of the Σ0 2-enumeration degrees, we prove that no so-called Ahmad pair of Σ0 2-enumeration degrees can join to 0′e.
محفوظ في:
| المؤلفون الرئيسيون: | , , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
2023
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://hdl.handle.net/10356/171805 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|