О мажорировании начальных сегментов степеней конструктивности

Пусть $\mathfrak M$ — фиксированная счетная стандартная транзитивная модель $ZF+V=L$. Рассматривается структура Mod степеней конструктивности относительно $\mathfrak M$ всех действительных чисел $x$ таких, что $\mathfrak M(x)$ — модель. Начальный сегмент $Q\subseteq\operatorname{Mod}$ называется модельным, если некоторое расширение $\mathfrak M$ с теми же ординалами содержит степени конструктивности действительных чисел из $Q$ и только их (и является моделью $ZFC$). Доказывается теорема: Если $Q$ — модельный начальный сегмент, то $\exists\,x\ [\forall\,y\ [x\in\operatorname{Mod}\,\&$
$$ [y\in Q\to y<x]]\,\&\,\forall\,z\ \exists\,y\ [z<x\to y\in Q\,\&\,{\sim}[y<z]]]. $$
Библ. 4 назв.