Получена характеризация декартова подобия теорий. Описан тип изоморфизма алгебр Линденбаума некоторых естественных классов моделей. Исследовано возможное число обобщенно генерических автоморфизмов однородной модели. Выявлены связи между однородностью и прямыми слагаемыми модулей. Определены условия, при которых группа автоморфизмов однородной модели имеет свойство малого индекса. Показана возможность приложения методологии предельно конструктивных моделей к исследованию нейронных сетей. Область применения: математическая логика.