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

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

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

Материалы

Отзывы

Раз в месяц дарим подарки самому активному читателю.
Оставляйте больше отзывов, и мы наградим вас!
Чтобы добавить отзыв, вы должны .

Цитаты

Вы можете первыми опубликовать цитату

Чтобы добавить цитату, вы должны .