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

Name: Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр
Brand: Московский центр непрерывного математического образования (МЦНМО)
SKU: 2032033
Availability: OutOfStock

(0 отзывов)

недоступно к заказу

Добавить в лист ожидания

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

Артикул

2032033

Издательство

Московский центр непрерывного математического образования (МЦНМО)

Серия

Учебные пособия. Математика. Высшая школа

Автор

Бунина Е.И. Михалев А.В. Пинус А.Г.

Штрих код

9785443902630

Год

2015