Relationships between reducibilities
Carl G. Jockusch · Transactions of the American Mathematical Society · 1969
Introduction.We shall consider the following recursion theoretic reducibilities: one-one (1), many-one (m), truth-table (tt), and Turing (T).These were introduced by Post [13] and are treated also by Rogers in [15].If F is one of these