Ask a Question

Prefer a chat interface with context about you and your work?

On computable numberings of families of Turing degrees

On computable numberings of families of Turing degrees

Abstract In this work, we study computable families of Turing degrees introduced and first studied by Arslanov and their numberings. We show that there exist finite families of Turing c.e. degrees both those with and without computable principal numberings and that every computable principal numbering of a family of Turing …