Исследованы структура алгебры Линденбаума исчисления предикатов конечной сигнатуры; инфинитарный (квазиточный) список MQL; квазиточные интерпретации и их связь с инфинитарным списком. Найдены варианты понятия однородности, сохраняющиеся в eq-обогащениях модели.
