О числе моделей в of $L_{\infty ,\omega_{1}}$-теориях. II

При предположении аксиомы конструктивности Гёделя доказано, что полные $L_{\infty ,\omega_{1}}$-теории, имеющие две неизоморфные модели мощности $\omega_1$, имеют $\omega_2$ попарно неизоморфных моделей мощности $\omega_1$.