Изучены свойства операции ограничения обобщенной алгебры Линденбаума на подэлемент. Построена универсальная пследовательность конечно аксиоматизируемых семантических типов. Получена глобальная формула для исчисления предикатов над универсальным списком. Найдены верхние границы числа Ханфа для опускания произвольного семейства типов о-минимальных теорий.