Пинус Александр Георгиевич
Аннотация
Работа посвящена вопросам взаимосвязи графов с идентичными производными объектами: автоморфизмами, эндоморфизмами, областями достижимости. Но основе результатов автора в теории моделей и универсальной алгебре, в том числе доказанного им аналога (для позитивных формул) теоремы Скотта о категоричности теорий счетных моделей в языке логики со счетными конъюнкциями и дизъюнкциями, на языке логики с бесконечно длинными формулами и языке узкого исчисления предикатов, дается описание пар мультиорграфов с раскрашенными дугами и общим множеством вершин, имеющих одни и те же автоморфизмы и области достижимости (одни и те же эндоморфизмы на себя и области достижимости).
Ключевые слова: мультиорграфы с раскрашенными дугами, автоморфизмы, области достижимости.
Авторы:
Пинус Александр Георгиевич
д-р физ.-мат. наук, профессор, профессор кафедры алгебры и математической логики Новосибирского государственного технического университета. Область научных интересов: алгебра и математическая логика. Опубликовано более 180 работ и 5 монографий. (Адрес: 630073, Россия, Новосибирск, пр. Карла Маркса, 20. Email: ag.pinus@gmail.com)
Список литературы
- Пинус А.Г. Определимые функции универсальных алгебр и определимые эквивалент- ности алгебр // Алгебра и логика. – 2014. – Т. 53, № 2. – С. 256–270.
- Пинус А.Г. Эквивалентности универсальных алгебр, индуцированные сопряжением их производных структур // Вестник Омского университета. – 2014. – № 2 (72). – С. 27–33.
- Scott D. Logic with denumerable long formulas and finite strings of quantifiers // Theory of Models. – Amsterdam: North Holland Publ., 1965. – P. 329–341.
- Пинус А.Г. Условные термы и их приложения в алгебре и теории вычислений // Успехи математических наук. – 2001. – Т. 56, вып. 4. – С. 35–72.
