Skip to main content
SpringerLink
Log in

On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy

  • Published:
Lobachevskii Journal of Mathematics Aims and scope Submit manuscript

Abstract

Questions of definability of computably enumerable degrees in the difference hierarchy (degrees of sets from finite levels of the Ershov difference hierarchy) are studied. Several approaches to the solution of this problem are outlined.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. U. Andrews, R. Kuyper, S. Lempp, M. Soskova, and M. M. Yamaleev, “Nondensity of double bubbles in the D. C. E. degrees,” Lect. Notes Comput. Sci. 10010, 547–562 (2017).

    Article  MathSciNet  MATH  Google Scholar 

  2. M. M. Arslanov, I. Sh. Kalimullin, and S. Lempp, “On Downey’s conjecture,” J. Symb. Logic 75, 401–441 (2010).

    Article  MathSciNet  MATH  Google Scholar 

  3. M. M. Arslanov, “Definable relations in Turing degree structures,” J. Logic Comput. 23, 1145–1154 (2013).

    Article  MathSciNet  MATH  Google Scholar 

  4. M. M. Arslanov, “Model-theoretic properties of turing degrees in the Ershov difference hierarchy,” Proc. Steklov Inst.Math. 278, 57–65 (2012).

    Article  MATH  Google Scholar 

  5. S. B. Cooper and A. Li, “Turing definability in the Ershov hierarchy,” J. London Math. Soc. 66, 513–526 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  6. S. B. Cooper and A. Li, “Splitting and cone avoidance in the d. c. e. degrees,” Sci. China, Ser. A 45, 1135–1146 (2002).

    MathSciNet  MATH  Google Scholar 

  7. S. B. Cooper and X. Yi, “Isolated d-r. e. degrees,”Preprint No. 17 (Univ. of Leeds, Dept. of Pure Math., 1995).

    Google Scholar 

  8. Sh. Ishmukhametov, “On the r. e. predecessors of d. r. e. degrees,” Arch.Math. Logic 38, 373–386 (1999).

    Article  MathSciNet  MATH  Google Scholar 

  9. S. Lempp and A. Nies, “Differences of computably enumerable sets,” Math. Logic Quart. 46, 555–561 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  10. J. Liu, G. Wu and M. Yamaleev, “Downward density of exact degrees,” Lobachevskii J. Math. 36, 389–398 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  11. R. Robinson, “Interpolation and embedding in the recursively enumerable degrees,” Ann.Math. 93, 586–596 (1971).

    Article  MathSciNet  MATH  Google Scholar 

  12. G. Wu and M. M. Yamaleev, “Isolation: motivations and applications,” Uch. Zap. Kazan. Univ., Ser. Fiz.-Mat. Nauki 154, 204–217 (2012).

    MathSciNet  Google Scholar 

  13. M. M. Yamaleev, “Splitting of 2-computably enumerable degrees with avoiding cones,” Russ. Math. (Iz. VUZ) 6, 76–80 (2009).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. N.I. Lobachevskii Institute of Mathematics and Mechanics, Kazan Federal University, ul. Kremlevskaya 18, Kazan, 420008, Russia

    M. M. Arslanov & M. M. Yamaleev

Authors
  1. M. M. Arslanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. M. Yamaleev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. M. Arslanov.

Additional information

Submitted by A. M. Elizarov

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Arslanov, M.M., Yamaleev, M.M. On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy. Lobachevskii J Math 39, 634–638 (2018). https://doi.org/10.1134/S1995080218050037

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1995080218050037

Keywords and phrases

Search

Navigation