Further reducibilities (positive, disjunctive, conjunctive, linear and their weak and bounded versions) are discussed in the article Reduction (recursion theory).
Περαιτέρω αναγωγές(θετική,διαζευκτική,συνδετική,γραμμική και οι αδύναμες και δυνατές μορφές τους) συζητούνται στο άρθρο Μείωση (θεωρία αναδρομής).