Исследованы алгоритмические и структурные свойства моделей, семантические классы предложений, абсолютность понятия однородной модели в аксиоматической теории множеств Цермелло-Френкеля. Описан класс булевых алгебр с условием универсальности над некоторым классом иерархии. Найдены условия единственности минимального элемента в полурешетке Роджерса и условия эффективной бесконечности класса вычислимых индексаций.