Построение определимых степеней конструктивности

Степень конструктивности называется $\Delta_n^1$-степенью, если она содержит действительное число класса $\Delta_n^1$, но не содержит действительных чисел класса $\Delta_{n-1}^1$. Доказана теорема: для любых натуральных чисел $n$ и $m$, $m\ge n\ge3$, следующее предложение совместимо с $ZFC$ "Существуют ровно три линейно упорядоченные степени конструктивности действительных чисел, из которых наименьшая есть тривиальная степень конструктивных действительных чисел, средняя есть $\Delta_n^1$-степень, а наибольшая есть $\Delta_m^1$-степень".
Библ. 11.