Неравномерная автоустойчивость моделей

Строится пример автоустойчивой модели $\mathfrak{A}$, не имеющей такой эффективной процедуры $P(x,y,z)$, что для любой вычислимой последовательности конструктивизаций $\pi=(\mu_0,\mu_1,\dots)$ модели $\mathfrak{A}$, любых $\mu_i$, $\mu_j\in\pi$ и подходящего конечного автоморфизма $\alpha_m$ значение $P(i,j,m)$ является номером о.р.ф. $f$, расширяющей $\alpha_m$ до сведения $\mu_i$ к $\mu_j$.