No CrossRef data available.
Article contents
ON CUPPING AND AHMAD PAIRS
Published online by Cambridge University Press: 11 December 2022
Abstract
Working toward showing the decidability of the $\forall \exists $ -theory of the ${\Sigma ^0_2}$ -enumeration degrees, we prove that no so-called Ahmad pair of ${\Sigma ^0_2}$ -enumeration degrees can join to ${\mathbf 0}_e'$ .
Keywords
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic