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.
| Auteurs principaux: | , , , |
|---|---|
| Autres auteurs: | |
| Format: | Journal Article |
| Langue: | English |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | https://hdl.handle.net/10356/171805 |