Мақаланы E-mail арқылы жіберу Constructing Decidable Graphs from Decidable Structures
- Авторлар: Bazhenov N.A.1,2, Harrison-Trainor M.3
-
Мекемелер:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Department of Pure Mathematics, University of Waterloo
- Шығарылым: Том 58, № 5 (2019)
- Беттер: 369-382
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234153
- DOI: https://doi.org/10.1007/s10469-019-09558-8
- ID: 234153
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
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.
Негізгі сөздер
Авторлар туралы
N. Bazhenov
Sobolev Institute of Mathematics; Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: bazhenov@math.nsc.ru
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 1, Novosibirsk, 630090
M. Harrison-Trainor
Department of Pure Mathematics, University of Waterloo
Email: bazhenov@math.nsc.ru
Канада, Waterloo, ON, N2L 3G1
Қосымша файлдар
