Мажорные множества, классы простых множеств и $Q$-полные множества

Доказано, что каждое нерекурсивное рекурсивно перечислимое множество имеет $Q$-полное мажорное подмножество. Определены классы простых множеств, в которых существуют $Q$-полные множества.
Библиография: 16 названий.