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
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
Journal title :
Annals of Pure and Applied Logic
