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.
@article{Ambos-SpiesNS92, title = {The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability}, author = {Klaus Ambos-Spies and André Nies and Richard A. Shore}, year = {1992}, researchr = {https://researchr.org/publication/Ambos-SpiesNS92}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {57}, number = {3}, pages = {864-874}, }