Составные редукции моделей Крипке и автоморфизмы

Показано, что с помощью понятия фактор-модели, предложенного в \cite {KGP}, произвольные модели Крипке могут быть представлены в виде композиции моделей с простыми группами автоморфизмов. Доказано также, что любая конечная группа изоморфна группе автоморфизмов некоторой подходящей модели Крипке.