Sciweavers

AML
2006

There is no ordering on the classes in the generalized high/low hierarchies

13 years 4 months ago
There is no ordering on the classes in the generalized high/low hierarchies
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable.
Antonio Montalbán
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AML
Authors Antonio Montalbán
Comments (0)