No CrossRef data available.
Article contents
ON SUPERSETS OF NON-LOW
$_2$ SETS
Published online by Cambridge University Press: 13 September 2021
Abstract
We solve a longstanding question of Soare by showing that if
${\mathbf d}$
is a non-low
$_2$
computably enumerable degree then
${\mathbf d}$
contains a c.e. set with no r-maximal c.e. superset.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press on behalf of Association for Symbolic Logic