О CR-многообразиях бесконечного типа по Блуму–Грэму

Построен аналог теоремы Блума–Грэма для ростков вещественно-аналитических многообразий бесконечного типа и описан некий стандартный вид (приведенная форма), к которому можно преобразовать такие ростки. Дано уточнение понятия типа по Блуму–Грэму (стратифицированный тип). Уточненный тип также голоморфно инвариантен. Введено понятие квазимодельных поверхностей и доказана их квазилинейная эквивалентность для биголоморфно эквивалентных многообразий. Получен критерий конечномерности алгебры Ли инфинитезимальных голоморфных автоморфизмов в случае равномерно бесконечного типа (т.е. бесконечного всюду). Вместе с критерием конечномерности для многообразий, чей тип конечен почти всюду, это дает полный критерий конечномерности. Доказано, что множества фиксированного типа по Блуму–Грэму полуаналитичны, причем тип общего положения (вне собственного аналитического подмножества) в определенном смысле минимален.