О генерических автоморфизмах

Изучаются генерические последовательности автоморфизмов. Устанавливается, что у некоторых (например, насыщенных) моделей любая последовательность автоморфизмов длины, не превосходящей мощность модели, является поэлементным произведением двух генерических последовательностей. Доказывается, что неподвижное поле конечной генерической последовательности автоморфизмов сепарабельно замкнутого поля регулярно замкнуто.