Сводимость

полная сводимость — complete reducedness
полная сводимость — full reducedness
слабая сводимость — weak reducedness
сильная сводимость — strong reducedness
табличная сводимость — truth-table reducedness
глобальная сводимость — global reducedness
рекурсивная сводимость — recursive reducedness
равномерная сводимость — uniform reducedness
полиномиальная сводимость — polynomial reducedness
сводимость по перечислению — enumeration reducedness
алгоритмическая сводимость — algorithmic reducedness
аксиома сводимости — axiom of reducibility