Skip to main content
SpringerLink
Log in

Jump Inversions of Algebraic Structures and the Σ-Definability

  • COMMUNICATIONS
  • Published:
Algebra and Logic Aims and scope

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

References

  1. A. S. Morozov, “On the relation of Σ-reducibility between Admissible Sets,” Sib. Math. J., 45, No. 3, 522-535 (2004).

    Article  MathSciNet  Google Scholar 

  2. V. Baleva, “The jump operation for structure degrees,” Arch. Math. Log., 45, No. 3, 249-265 (2006).

    Article  MathSciNet  MATH  Google Scholar 

  3. A. A. Soskova, “A jump inversion theorem for the degree spectra,” in Lect. Notes Comput. Sci., 4497, Springer-Verlag, Berlin (2007), pp. 716-726.

  4. A. A. Soskova and I. N. Soskov, “A jump inversion theorem for the degree spectra,” J. Log. Comput., 19, No. 1, 199-215 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  5. A. Montalbán, “Notes on the jump of a structure,” in Lect. Notes Comput. Sci., 5635, Springer-Verlag, Berlin (2009), pp. 372-378.

  6. V. G. Puzarenko, “A certain reducibility on admissible sets,” Sib. Math. J., 50, No. 2, 330-340 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  7. A. I. Stukachev, “A jump inversion theorem for the semilattices of Σ-degrees,” Sib. El. Mat. Izv., 6, 182-190 (2009); http://semr.math.nsc.ru/v6/p 182-190.pdf.

  8. A. Montalbán, “Rice sequences of relations,” Philos. Trans. R. Soc. London, Ser. A, Math. Phys. Eng. Sci., 370, No. 1971, 3464-3487 (2012).

    Article  MathSciNet  MATH  Google Scholar 

  9. S. S. Goncharov, V. S. Harizanov, J. F. Knight, C. McCoy, R. Miller, and R. Solomon, “Enumerations in computable structure theory,” Ann. Pure Appl. Log., 136, No. 3, 219-246 (2005).

    Article  MathSciNet  MATH  Google Scholar 

  10. A. Montalbán, “Computability theoretic classifications for classes of structures” in Proc. of the Int. Congress of Math., ICM 2014 (Seoul, Korea, August 13–21, 2014), Vol. II: Invited Lectures, Sun Young Jang et al. (Eds.), Seoul, KM Kyung Moon Sa (2014), pp. 79-101.

  11. Yu. L. Ershov, Definability and Computability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).

  12. I. Sh. Kalimullin and V. G. Puzarenko, “Reducibility on families,” Algebra and Logic, 48, No. 1, 20-32 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  13. M. Faizrahmanov, I. Kalimullin, A. Montalbán, and V. Puzarenko, “The least Σ-jump inversion theorem for n-families,” J. UCS, 23, No. 6, 529-538 (2017).

    MathSciNet  Google Scholar 

  14. I. N. Soskov, “A note on ω-jump inversion of degree spectra of structures,” in Lect. Notes Comput. Sci., 7921, Springer-Verlag, Berlin (2013), pp. 365-370.

Download references

Author information

Authors and Affiliations

  1. Kazan (Volga Region) Federal University, ul. Kremlevskaya 18, Kazan, 420008, Russia

    I. Shs. Kalimullin

  2. Google LLC, 320 N. Morgan st., Chicago, IL, 60607, USA

    A. Kach

  3. University of California, 721 Evans Hall #3840, Berkeley, CA, 94720-3840, USA

    A. Montalbán

  4. Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia

    V. G. Puzarenko

  5. Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090, Russia

    V. G. Puzarenko

  6. Kazan (Volga Region) Federal University, ul. Kremlevskaya 18, Kazan, 420008, Russia

    M. Kh. Faizrahmanov

Authors
  1. I. Shs. Kalimullin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Kach
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Montalbán
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. V. G. Puzarenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. M. Kh. Faizrahmanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. Shs. Kalimullin.

Additional information

I. Sh. Kalimullin Supported by the Russian Ministry of Education and Science, project No. 1.451.2016/1.4.

A. Montalbán Supported by the Packard Fellowship and by the NSF grant DMS-0901169.

V. G. Puzarenko Supported by RFBR, project No. 18-01-00624-a.

Kh. Faizrahmanov Supported by the Russian Ministry of Education and Science, project No. 1.1515.2017/4.6.

Translated from Algebra i Logika, Vol. 57, No. 2, pp. 243-249, March-April, 2018.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kalimullin, I.S., Kach, A., Montalbán, A. et al. Jump Inversions of Algebraic Structures and the Σ-Definability. Algebra Logic 57, 161–165 (2018). https://doi.org/10.1007/s10469-018-9488-3

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-018-9488-3

Search

Navigation