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