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

• Автор: Бунина Е.И.
• Издательство: Московский центр непрерывного математического образования (МЦНМО)
• Серия: Учебные пособия. Математика. Высшая школа
• Год издания: 2015
• Страниц: 360
• Томов: 1
• Вес: 380 г.
• ISBN: 978-5-4439-0263-0

Описание

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

Товар прошел сертификацию качества и безопасности. К любой покупке прилагается гарантия. Имеется накопительная система скидок, зависящая от объема предыдущих заказов. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Подробную информацию о сроках доставки и размере скидки можно будет прочесть на этапе оформления заказа. Приятных покупок.