Abstract
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'$
.
Publisher
Cambridge University Press (CUP)