Счетные однородные булевы алгебры.
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Число Левенгейма для одного из скелетов многообразий булевых алгебр
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.