Авторизация | Регистрация
Авторы от А до Я Расширенный поиск
-
-
товара: 1 шт.
на сумму: 95 руб.
пн-пт с 1000 до 1800
8 (499)
973-25-13
Задать вопрос
Доставка
Оплата
Математика
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
Осталось всего: 1
330 р.
Купить

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

Автор: Бунина Е.И., Михалев А.В., Пинус А.Г.
ISBN: 978-5-4439-0263-0
Год издания: 2015
Формат книги: 60х90/16
Кол-во страниц: 360
Издательство: МЦНМО
Тип обложки: Обложка
Вес: 400 гр.

Описание

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

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