| |
| Популярные книги |
|
|
|
|
Автор: admin :: Просмотров: 2242 |
|
|
|
ОписаниеВ монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.
Ключевые теги: эквивалентность, группа, алгебра, модель, помощь, теорема, результат, доказательство, книга, изоморфизм, классификация, автоморфизм, способ, кольцо, свойство, производная, число, бунина
|
|
|
(голосов: 8) |
Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем. |
 |
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости. |
|
|
ШКОЛЬНАЯ ЛИТЕРАТУРА
