Abstract

It is shown that Th ( H 1 ) ≠ Th ( H n ) holds for every n > 1 , where H m is the upper semi-lattice of all high m computably enumerable (c.e.) degrees for m > 0 , giving a first elementary difference among the highness hierarchies of the c.e. degrees.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call