Аннотация:Построено полурекурсивное рекурсивно перечислимое множество, чья тьюрингова степень находится между 0 и 1, с использованием того факта, что A ≤ m B ⇔ A ≤ Q B для рекурсивно перечислимых множеств.
===================
URL: https://vestnik.utmn.ru/energy/vypuski-arhiv/2013/112875/