Книга Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
А. В. Михалёв
- Автор: А. В. Михалёв
- Жанр: Монографии, Математика
- Год издания: 2016
- ISBN: 978-5-4439-2488-5
- Издательство: МЦНМО
Описание Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.Рекомендуем к прочтению
Древняя Русь и Великая степь
Лев Гумилев
Тайная миссия Хасана
Илья Деревянко
Композиционная поэтика текста
Л. Г. Кайда
Контактная лингвистика. Взаимодействие языков и билингвизм
Жером Багана
Формирование культурно-эстетической компетентности учителя начальной школы на основе личностно-ориентированного подхода. Теоретические аспекты
И. В. Арябкина
Орфоэпия: основы теории и прикладные аспекты
И. А. Вещикова
Концепты, универсалии, стереотипы в сфере литературоведения
Н. В. Володина
«У времени на дне». Эстетика и поэтика прозы Варлама Шаламова
Л. В. Жаравина