Аннотация:Данная дипломная работа состоит из трех частей. В первой из них приводится пример кардиналов, эквивалентных в логике nого порядка, но не эквивадентных в логике
(n + 1)ого порядка, во второй доказывается критерий элементарной эквивалентности
линейных групп над кольцами, содержащими лишь конечное число центральных идемпотентов. В третьей части исследуется элементарная эквивалентность линейных групп над
булевыми алгебрами. Доказано, что две линейных группы над булевыми алгебрами элементарно эквивалентны тогда и только тогда, когда их размерности совпадают, а булевы
алгебры элементарно эквивалентны.