Constructing Decidable Graphs from Decidable Structures

N. A. Bazhenov, M. Harrison-Trainor

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

1 Цитирования (Scopus)

Аннотация

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

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА

ГРНТИ

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

Fingerprint

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

Цитировать