Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

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

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

Нет доступа
Вид издания: Монография
Уровень образования: ВО - Магистратура
Год издания
2015
Кол-во страниц
360
ISBN
978-5-4439-2401-4
Артикул
682523.01.99
Аннотация
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.
Библиографическая запись Скопировать запись
Бунина, Е.И. Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр: Монография / Е.И. Бунина, А.В. Михалев, А.Г. Пинус - Москва :МЦНМО, 2015. - 360 с.: ISBN 978-5-4439-2401-4. - Текст : электронный. - URL: https://znanium.com/catalog/product/958765 (дата обращения: 23.06.2021). – Режим доступа: по подписке.
Текстовые фрагменты публикации