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