Previous |  Up |  Next

Article

Keywords:
mnogoobraziya algebr; logika vtorogo poryadka; skelety mnogoobraziĭ; chisla Levengeĭma
Summary:
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.
Partner of
EuDML logo