The theory of the recursively enumerable weak truth-table degrees is undecidable - Ambos-Spies, Klaus; Nies, André; Shore, Richard A. (The journal of symbolic logic, 1992)
Elektronische Reproduktion der Druck-Ausgabe 12. März 2014