The Organic Garden
Allan Shepherd
Выражаем надежду, что "The Organic Garden" будет полезной и поможет в деле обустройства приусадебного ...
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
Электронная книга
- Автор: А. В. Михалёв
- Издатель: МЦНМО
- Год: 2016
- ISBN: 978-5-4439-2488-5
- Цена: 220 Руб.
Сила в познании, и книга - основной источник познаний. И это ещё не всё! И вот замечательный образец такой работы, которая несет знания, помогает решить проблемы, являясь своего рода руководством в определенных вопросах - "Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр"
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.
Смеем надеяться, что "Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр" поможет вам в деле самообразования и поможет по новому взглянуть на проблемы в данной области и их решение.
