7.61 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 30.07.2024; планируемая отправка: 31.07.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 02.08.2024; планируемая отправка: 03.08.2024
Издательство: | МЦНМО |
Дата выхода: | август 2015 |
ISBN: | 978-5-4439-0263-0 |
Объём: | 360 страниц |
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера-Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями.
Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.