Аннотация:
Доказывается, что числа Левенгейма и Ханфа для класса решеток замкнутых подмножеств топологических пространств совпадают с числами Левенгейма и Ханфа исчисления предикатов второго порядка. Приводится аналог теоремы Левенгейма–Тарского для класса полных атомных булевых алгебр. Рассмотрена связь элементарной эквивалентности колец непрерывных функций и элементарной эквивалентности решеток замкнутых подмножеств топологических пространств.
Библ. 12.