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
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline634.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline635.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline636.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline637.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline638.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline639.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline640.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline641.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230317160617763-0213:S0022481222000846:S0022481222000846_inline642.png?pub-status=live)