О теориях со свойством Эренфойхта

Обозначим через $E^n_m$, класс всех теорий со свойством Эренфойхта, определяемых формулой $\varphi(x_1,\dots,x_n,a_1,\dots,a_m)$. Устанавливается связь между классами $E^n_m$ и приводится серия примеров с единым построением, показывающая, что полученные соотношения между классами окончательны, даже для теорий категоричных в счетной мощности.