Об одной гипотезе Шелаха

Доказывается, что существует $\left(2^{2^\omega}\right)^+$-однородная модель счетного языка, имеющая мощность $2^{2^\omega}$.