Constructing Decidable Graphs from Decidable Structures

N. A. Bazhenov, M. Harrison-Trainor

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

It is shown that every structure (including one in an infinite language) can be transformed into a graph that is bi-interpretable with the original structure, for which the full elementary diagrams can be computed one from the other.

Язык оригиналаанглийский
Страницы (с-по)369-382
Число страниц14
ЖурналAlgebra and Logic
Том58
Номер выпуска5
DOI
СостояниеОпубликовано - 1 ноя 2019

ГРНТИ

  • 27 МАТЕМАТИКА

Fingerprint Подробные сведения о темах исследования «Constructing Decidable Graphs from Decidable Structures». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать