Классы рекурсивно перечислимых множеств и $Q$-сводимость

С помощью некоторых свойств $Q$-сводимости определяется новый нетривиальный класс рекурсивно перечислимых множеств, содержащий только не $T$-полные множества. Тем самым еще более расширяется класс множеств, решающих известную проблему Поста об описании $T$-неполных множеств недиагональными средствами. Устанавливается соотношение между двумя классами простых множеств, изучавшимися в литературе и дается ответ на один вопрос Е. Херрманна.
Библиогр. 13 назв.