Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016.
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера — Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в книге приведены некоторые результаты авторов в этом направлении: элементарная эквивалентность линейных групп над кольцами и телами, элементарная эквивалентность решеток свободных алгебр, элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп. В книге показаны разные способы доказательства классификации моделей по элементарным свойствам: с помощью насыщенных моделей, с помощью взаимной интерпретации моделей-параметров и производных моделей (в том числе и языка второго порядка), с помощью теоремы об изоморфизме.
Пинус
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016
Скачать и читать Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016Основы универсальной алгебры, учебное пособие, Пинус А.Г., 2019
Основы универсальной алгебры, Учебное пособие, Пинус А.Г., 2019.
Учебное пособие посвящено универсальной алгебре, молодой развивающейся науке, нашедшей свои приложения как внутри математики, так и в информатике и ряде других наук. Адресовано студентам и аспирантам-математикам, информатикам, а также научным работникам в этих областях.
Скачать и читать Основы универсальной алгебры, учебное пособие, Пинус А.Г., 2019Учебное пособие посвящено универсальной алгебре, молодой развивающейся науке, нашедшей свои приложения как внутри математики, так и в информатике и ряде других наук. Адресовано студентам и аспирантам-математикам, информатикам, а также научным работникам в этих областях.
Условные термы и их применение в алгебре и теории вычислений, монография, Пинус А.Г., 2002
Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002.
В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальных классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение условной рациональной эквивалентности условных многообразий позволяет решить целый ряд чисто алгебраических задач, а также построить теорию программно вычислимых функций на универсальных алгебрах.
Скачать и читать Условные термы и их применение в алгебре и теории вычислений, монография, Пинус А.Г., 2002В монографии, на основе введенного понятия условного терма, изучается строение условных многообразий (универсальных классов универсальных алгебр, в том числе и отдельных конечных алгебр). Описываемое отношение условной рациональной эквивалентности условных многообразий позволяет решить целый ряд чисто алгебраических задач, а также построить теорию программно вычислимых функций на универсальных алгебрах.