The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability

Klaus Ambos-Spies, André Nies, Richard A. Shore. The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. Journal of Symbolic Logic, 57(3):864-874, 1992.

Abstract

Abstract is missing.