Standard

On some reducibility and existential interpretability of structures. / Morozov, A. S.

In: Siberian Mathematical Journal, Vol. 58, No. 2, 01.03.2017, p. 281-287.

Research output: Contribution to journal › Article › peer-review

Harvard

Morozov, AS 2017, 'On some reducibility and existential interpretability of structures', Siberian Mathematical Journal, vol. 58, no. 2, pp. 281-287. https://doi.org/10.1134/S0037446617020100

APA

Morozov, A. S. (2017). On some reducibility and existential interpretability of structures. Siberian Mathematical Journal, 58(2), 281-287. https://doi.org/10.1134/S0037446617020100

Vancouver

Morozov AS. On some reducibility and existential interpretability of structures. Siberian Mathematical Journal. 2017 Mar 1;58(2):281-287. doi: 10.1134/S0037446617020100

Author

Morozov, A. S. / On some reducibility and existential interpretability of structures. In: Siberian Mathematical Journal. 2017 ; Vol. 58, No. 2. pp. 281-287.

BibTeX

@article{021d0c2da46947b6b55689a20ca36464,
title = "On some reducibility and existential interpretability of structures",
abstract = "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.",
keywords = "existential interpretability of structures, weakly bounded Turing reducibility",
author = "Morozov, {A. S.}",
year = "2017",
month = mar,
day = "1",
doi = "10.1134/S0037446617020100",
language = "English",
volume = "58",
pages = "281--287",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "2",

}

RIS

TY - JOUR

T1 - On some reducibility and existential interpretability of structures

AU - Morozov, A. S.

PY - 2017/3/1

Y1 - 2017/3/1

N2 - 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.

AB - 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.

KW - existential interpretability of structures

KW - weakly bounded Turing reducibility

UR - http://www.scopus.com/inward/record.url?scp=85018854178&partnerID=8YFLogxK

U2 - 10.1134/S0037446617020100

DO - 10.1134/S0037446617020100

M3 - Article

AN - SCOPUS:85018854178

VL - 58

SP - 281

EP - 287

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 2

ER -

ID: 9047770