The Theory of the Polynomial Many-One Degrees of Recursive Sets is Undecidable.

Klaus Ambos-Spies, Andr Nies

Browse the full STACS paper archive.