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

Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
Авторы книги: id книги: 613048     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 220 руб.     (2,2$) Купить и читать книгу Купить бумажную книгу Электронная книга Жанр: Математика Правообладатель и/или издательство: МЦНМО Дата публикации, год издания: 2016 Дата добавления в каталог КнигаЛит: ISBN: 978-5-4439-2488-5 Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.

Описание книги

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

Добавление нового отзыва

Комментарий Поле, отмеченное звёздочкой  — обязательно к заполнению

Отзывы и комментарии читателей

Нет рецензий. Будьте первым, кто напишет рецензию на книгу Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
Подняться наверх