Email this article On some reducibility and existential interpretability of structures
- Authors: Morozov A.S.1
-
Affiliations:
- Sobolev Institute of Mathematics
- Issue: Vol 58, No 2 (2017)
- Pages: 281-287
- Section: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/171085
- DOI: https://doi.org/10.1134/S0037446617020100
- ID: 171085
Cite item
Open Access
Access granted
Subscription Access
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.
About the authors
A. S. Morozov
Sobolev Institute of Mathematics
Author for correspondence.
Email: morozov@math.nsc.ru
Russian Federation, Novosibirsk
