О категоричных квазимногообразиях произвольной сигнатуры

Пусть $K$ – квазимногообразие, категоричное в $\lambda\ge|\Omega(K)|+\aleph_0$. Основная теорема статьи: существует строго мультипликативно устойчивая формула $\Psi(x,y)$, которая определяет на каждой бесконечной $K$-системе эквивалентность с сильно минимальными классами эквивалентности. Применяя эту теорему, можно доказать, например, 1) $K$ категорично во всех мощностях, за исключением, быть может, $1$ и $\mu_0\ge\aleph_0$ такого, что $K$ не имеет моделей мощности $\nu$, $1<\nu<\mu_0$, 2) если $K$ категорично в $|\Omega(K)|>\aleph_0$, то $K$ рационально эквивалентно квазимногообразию $K'$ с $|\Omega(K')|<|\Omega(K)|$.