Вычислимо жесткие модели с перечислимыми подмоделями

Рассматриваются рекурсивные представления множества рациональных чисел с выделенным всюду плотным подмножеством с всюду плотным дополнением и некоторые булевы алгебры с выделенной подалгеброй. Показано, что отказ от рекурсивности выделенной подмодели дает возможность построить модели без нетривиальных автоморфизмов. Доказательство проведено методом приоритета.