Н. А. Баженов, М. Харрисон-Трейнор, “Построение разрешимых графов по разрешимым структурам”, Алгебра и логика, 2019, том 58, номер 5,страницы 553

Эта публикация цитируется в 1 статье

Построение разрешимых графов по разрешимым структурам

Н. А. Баженов^ab, М. Харрисон-Трейнор^c

^a Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
^b Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^c Dep. Pure Math., Univ. Waterloo, ON, CANADA N2L 3G1

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

Ключевые слова: разрешимая структура, разрешимый граф, биинтерпретируемые структуры, полная диаграмма.

УДК: 510.54

Поступило: 29.11.2017
Окончательный вариант: 26.11.2019

DOI: 10.33048/alglog.2019.58.501