Показано, что не всегда можно заменить произвольную модель другой
моделью конечной сигнатуры так,
чтобы группа ее автоморфизмов при этом не изменилась.
Morozov A. S. On the problem of finite signature
We show that not each model can be replaced by a model of finite signature
so that its automorphism group remains the same.