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