Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр

Бунина Е. И.

в наличии

Цена со скидкой 20% в интернет-магазине: 503,20 руб.

ISBN: 978-5-4439-0263-0
Внешнее покрытие издания: в обл.
Тираж издания: 500
Фамилия автора в заголовке: Бунина
Инициалы автора (личного имени (имен)): Е. И.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
Первые сведения об ответственности: Е. И. Бунина, А. В. Михалев, А. Г. Пинус
Место издания: Москва
Издатель: МЦНМО
Дата издания: 2015
Объем издания (количество страниц): 360
Высота, см.: 21
Полная форма имени (имен) и отчества: Елена Игоревна
Индекс УДК: 512
Статус записи (Тип информации): В наличии
Ширина, см: 14,2
Толщина, см: 1,7
Вес в граммах: 365
Индекс ББК: 22.144
Артикул: 2747683

Описание

В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.