Abstract
We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have