Принципы нормализации формул

Вводится понятие обобщенной морлиевской классификации формул, и для него устанавливаются некоторые принципы нормализации. В частных случаях они дают более сильные утверждения, чем соответствующие нормализационные леммы Лахлана. С их помощью получены некоторые общие факты о ранговых функциях, а также частично решена проблема Морли о ранге трансцендентности $\omega$-категоричных теорий. А именно:
Пусть $\gamma_T=\min\{\mu|\forall A|=T\forall p\in S(A)(R_M(p)<\infty\rightarrow\exists B\subset A (|B|<\mu\text { и } p \text { нерасщепим над } B))\}$, где $R_M$ – ранг Морли.
Теорема. Если $T$ $\omega$-категорична и $\gamma_T<\omega$, то $\alpha_T<\omega$, где $\alpha_T$ – оригинал Морли для теории $T$.
Библ. 12.