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

el/32655264

Автор: Е. И. Бунина, А. В. Михалев, А. Г. Пинус

Язык: Русский

Издательство: МЦНМО

Год: 2015

Дополнительные характеристики

Формат
60x90/16
Страниц
360 стр.

Цена на OZON:

39900 руб.



Описание:

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



Отзывы:

Возможность скачать PDF:


Чтобы Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр скачать в PDF формате, нажмите на одной из кнопок социльных сетей: