Cupping and noncapping in the R.E. weak truth table and turing degrees. Klaus Ambos-Spies — 1985 Archiv für mathematische Logik und Grundlagenforschung