Читать онлайн «Алгебраическая теория квазимногообразий»
Автор Горбунов В.А.
СИБИРСКАЯ ШКОЛА АЛГЕБРЫ И ЛОГИКИ
Главный редактор серии: Ю. Л. Ершов
Редколлегия: С. С. Гончаров (зам. главного редактора),
В. Д. Мазуров, Н. С. Романовский, А. Н. Ряскин,
В. К. Харчен ко, И. П. Шестаков
Редсовет: Е. И. Зельманов, О. Кегель, А. Макинтайр, А. Нероуд
Ответственный редактор серии: Т. Н. Рожковская
Определимость и вычислимость *Ю. Л. Ершов
Правоупорядоченные группы • В. М. Копытов, Н. Я. Медведев
Счетные булевы алгебры и разрешимость* С. С.
Гончаров
Конечно аксиоматизируемые теории • М. Г. Перетятькин
Алгебраическая теория квазимногообразий • В. А. Горбунов
АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ
КВАЗИМНОГООБРАЗИЙ
Виктор А. Горбунов
Институт математики им. С. Л. А. Г676 Алгебраическая теория квазимногообразий. — Новосибирск: На-
Научная книга, 1999. — 368+xii с, ил. — (Сибирская школа алгебры и
логики). ISBN 5-88119-015-7
Пятый том учрежденной в 1995 г. Сибирским фондом алгебры и логи-
логики математической книжной серии Сибирская школа алгебры и логики
под редакцией академика Ю. Л. Ершова. Все книги серии издаются одно-
одновременно на английском языке Kluwer Academic/Plenum Publishers. Теория квазимногообразий изложена на основе единого алгебраичес-
алгебраического подхода, развитого в работах автора и его учеников. Изложены во-
вопросы, связанные с конечно определенными и подпрямо неразложимы-
неразложимыми системами в квазимногообразиях, проблемой Биркгофа — Мальцева о
строении решеток квазимногообразий, базисами квазитождеств алгебра-
алгебраических систем. Изложение сопровождается задачами и упражнениями,
используемыми также в основном материале книги
Для специалистов по алгебре. Доступна аспирантам и студентам ма-
математических специальностей. Ответственный редактор:
доктор физико-математических наук Д. М. B. Nation
Теория квазимногообразий представляет собой раздел алгебры
и математической логики, в котором изучается фрагмент ло-
логики первого порядка — универсальная хорнова логика. Пер-
Первые работы о квазимногообразиях появились в результате ре-
решения конкретных алгебраических проблем.
