Синтаксический подход к построению генерических моделей

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