Об областях определения $t$-функций

Частично рекурсивная функция, отличная от пустой или константы, для которой всякая функция сходная с ней изомерна ей, называется $t$-функцией. Доказано, что область определения любой $t$-функции не является ни простым, ни псевдопростым множеством.
Библиография: 3 названия.