A New Reducibility between Turing- and w
β
Sui Yuefei
π
Article
π
1994
π
John Wiley and Sons
π
English
β 233 KB
## Abstract A new reducibility between Turing and weak truthβtable reducibility is defined, which gives an affirmative answer to the open question about the existence of such an intermediate reducibility proposed formally by M. Stob. Mathematics Subject Classification: 03D25.