Skip to main content
SpringerLink
Log in

A jump inversion theorem for the semilattices of sigma-degrees

  • Published:
Siberian Advances in Mathematics Aims and scope Submit manuscript

Abstract

We prove an analogue of the jump inversion theorem for the semilattices of Σ-degrees of structures. As a corollary, we get a similar result for the semilattices of degrees of presentability of countable structures.

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. V. Baleva, “The jump operation for structure degrees,” Arch. Math. Logic 45(3), 249–265 (2006).

    Article  MATH  MathSciNet  Google Scholar 

  2. J. Barwise, Admissible Sets and Structures (Springer-Verlag, Berlin, 1975).

    MATH  Google Scholar 

  3. Yu. L. Ershov, Definability and Computability (Consultants Bureau, New York, 1996).

    Google Scholar 

  4. S. S. Goncharov and B. Khoussainov, “Complexity of categorical theories with computablemodels,” Algebra i Logika 43(6), 650–665 [Algebra and Logic 43 (6), 365–373 (2004)].

  5. O. V. Kudinov and A. I. Stukachev, “Some notes on the degrees of presentability” (in preparation).

  6. A. S. Morozov, “On the relation of Σ-reducibility between admissible sets,” Sibirsk. Mat. Zh. 45(3), 634–652 [Siberian Math. J. 45 (3), 522–535 (2004)].

  7. V. G. Puzarenko, “A certain reducibility on admissible sets,” Sibirsk. Mat. Zh. 50(2), 414–428 (2009) [Siberian Math. J. 50 (2), 330–340 (2009)].

    MathSciNet  Google Scholar 

  8. A. A. Soskova, “A jump inversion theorem for the degree spectra,” in Proceedings of “Computation and Logic in the Real World. Third conference on computability in Europe,” Siena, Italy, pp. 716–726 (Springer, Berlin, 2007).

    Google Scholar 

  9. I. N. Soskov, A. A. Soskova, “A jump inversion theorem for the degree spectra,” J. Logic Comput. 19(1), 199–215 (2009).

    Article  MATH  MathSciNet  Google Scholar 

  10. A. I. Stukachev, “The uniformization property for hereditary finite superstructures,” Siberian Adv. Math. 7(1), 123–132 (1997).

    MATH  MathSciNet  Google Scholar 

  11. A. I. Stukachev, “Degrees of presentability of structures. I,” Algebra i Logika 46(6), 763–788 [Algebra and Logic 46 (6), 419–432 (2007)].

  12. A. I. Stukachev, “Degrees of presentability of structures. II,” Algebra i Logika 47(1), 108–126 [Algebra and Logic 47 (1), 65–74 (2008)].

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

    A. I. Stukachev

  2. Novosibirsk State University, Novosibirsk, 630090, Russia

    A. I. Stukachev

Authors
  1. A. I. Stukachev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. I. Stukachev.

Additional information

Original Russian Text © A. I. Stukachev, 2009, published in Siberian Electronic Mathematical Reports (http://semr.math.nsc.ru), 2009, Vol. 6, pp. 182–190.

About this article

Cite this article

Stukachev, A.I. A jump inversion theorem for the semilattices of sigma-degrees. Sib. Adv. Math. 20, 68–74 (2010). https://doi.org/10.3103/S1055134410010037

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S1055134410010037

Key words

Search

Navigation