Автоустойчивая $1$-разрешимая модель без вычислимого семейства Скотта $\exists$-формул

Опровергается предположение о том, что наличие вычислимого семейства Скотта $\exists$-формул с конечным набором параметров из $1$-разрешимой модели является необходимым условием ее автоустойчивости. По вычислимому семейству $S$ общерекурсивных функций строится унар $m_s$, и находится такое семейство $S$, для которого унар $m$ является требуемым контрпримером.