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.

@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},
}