Сложностные свойства рекурсивно перечислимых множеств и $sQ$-полнота

В работе вводятся понятия эффективно субкреативного множества и сильно эффективно ускоряемого множества. Доказано, что понятия эффективно субкреативного множества, сильно эффективно ускоряемого множества и $sQ$-полного рекурсивно перечислимого множества эквивалентны.
Библиография: 7 названий.