Title of article
Undecidability and 1-types in intervals of the computably enumerable degrees Original Research Article
Author/Authors
Klaus Ambos-Spies، نويسنده , , Denis R. Hirschfeldt، نويسنده , , Richard A. Shore، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
47
From page
1
To page
47
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.
Keywords
Undecidability , Computably enumerable degrees , One-types
Journal title
Annals of Pure and Applied Logic
Serial Year
2000
Journal title
Annals of Pure and Applied Logic
Record number
889742
Link To Document