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

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

0
Читать онлайн

Скачать книгу

Фрагмент

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

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

На нашем сайте вы можете скачать книгу "Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр" Михалев А. В. в формате pdf, читать книгу онлайн или купить книгу в интернет-магазине.

Отзывы читателей

    Бедовый. Рубежник
    Рекомендуем
    Бедовый. Рубежник
    Дмитрий Билик

    Подборки книг

    Все

    Популярные книги жанра «Математика»

    Информация обновлена: