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

Print ISSN: 1727-2769    Online ISSN: 2658-3747
English | Русский

Последний выпуск
№3(40) июль-сентябрь 2018

О МУЛЬТИОРГРАФАХ С ИДЕНТИЧНЫМИ АВТОМОРФИЗМАМИ И ОБЛАСТЯМИ ДОСТИЖИМОСТИ

Выпуск № 2-3 (23-24) апрель-сентябрь 2014
Авторы:

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

Список литературы
  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. 
Просмотров: 600