On some reducibility and existential interpretability of structures | Sciact - Система учета научной деятельности ИМ СО РАН

On some reducibility and existential interpretability of structures Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2017, Том: 58, Номер: 2, Страницы: 281-287 Страниц : 7 DOI: 10.1134/S0037446617020100

Ключевые слова

existential interpretability of structures; weakly bounded Turing reducibility

Авторы

Morozov A.S. ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

We prove the embeddability of the structure of Turing degrees into the structure of degrees of existential interpretability. The notion of weakly bounded Turing reducibility (wbT-reducibility) arises in the proof naturally. We demonstrate that this reducibility is situated strictly between the bounded truth-table reducibility and Turing reducibility and differs from the truth-table reducibility. © 2017, Pleiades Publishing, Ltd.

Morozov A.S.
On some reducibility and existential interpretability of structures
Siberian Mathematical Journal. 2017. V.58. N2. P.281-287. DOI: 10.1134/S0037446617020100 WOS Scopus OpenAlex

Морозов А.С.
Об одной сводимости и экзистенциальной интерпретируемости cтруктур
Сибирский математический журнал. 2017. Т.58. №2. С.365-374. DOI: 10.17377/smzh.2017.58.210 РИНЦ MathNet

Web of science:	WOS:000400087100010
Scopus:	2-s2.0-85018854178
OpenAlex:	W2608739822

БД	Цитирований
Scopus	1
OpenAlex	1
Web of science	1