ДОКЛАДЫ АКАДЕМИИ НАУК
ВЫСШЕЙ ШКОЛЫ РОССИЙСКОЙ ФЕДЕРАЦИИ

Аннотация
   Работа посвящена вопросам взаимосвязи графов с идентичными производными объектами: автоморфизмами, эндоморфизмами, областями достижимости. Но основе результатов автора в теории моделей и универсальной алгебре, в том числе доказанного им аналога (для позитивных формул) теоремы Скотта о категоричности теорий счетных моделей в языке логики со счетными конъюнкциями и дизъюнкциями, на языке логики с бесконечно длинными формулами и языке узкого исчисления предикатов, дается описание пар мультиорграфов с раскрашенными дугами и общим множеством вершин, имеющих одни и те же автоморфизмы и области достижимости (одни и те же эндоморфизмы на себя и области достижимости).  

Список литературы

1. ​Пинус А.Г. Определимые функции универсальных алгебр и определимые эквивалент- ности алгебр // Алгебра и логика. – 2014. – Т. 53, № 2. – С. 256–270. 
2. Пинус А.Г. Эквивалентности универсальных алгебр, индуцированные сопряжением их производных структур // Вестник Омского университета. – 2014. – № 2 (72). – С. 27–33. 
3. Scott D. Logic with denumerable long formulas and finite strings of quantifiers // Theory of Models. – Amsterdam: North Holland Publ., 1965. – P. 329–341. 
4. Пинус А.Г. Условные термы и их приложения в алгебре и теории вычислений // Успехи математических наук. – 2001. – Т. 56, вып. 4. – С. 35–72. 

Просмотров аннотации: 2032
Скачиваний полного текста: 829
Просмотров интерактивной версии: 0