Сложность булевых функций в классе полиноминальных поляризованных форм
Счетные однородные булевы алгебры.
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Топологические пространства и квазиупорядоченные множества
Универсальные рекурсивно перечислимые булевы алгебры
Характеристика согласованных примарностей
Число Левенгейма для одного из скелетов многообразий булевых алгебр
Vvodyatsya ponyatiya svobodnogo èpiskeleta i chisla Levengeĭma dlya svobodnogo èpiskeleta proizvolp1nogo mnogoobraziya algebr. Dokazyvaetsya, chto chislo Levengeĭma dlya svobodnogo èpiskeleta mnogoobraziya bulevykh algebr sovpadaet s chislom Levengeĭma polnoĭ logiki vtorogo poryadka.