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.

Authors

Klaus Ambos-Spies

This author has not been identified. Look up 'Klaus Ambos-Spies' in Google

André Nies

This author has not been identified. Look up 'André Nies' in Google

Richard A. Shore

This author has not been identified. Look up 'Richard A. Shore' in Google