Элементарная и близкая к ней логические эквивалентности...
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера-Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в...
Издательство:
МЦНМО
Дата выхода: август 2015
