A Note on Effective Categoricity for Linear Orderings

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10185)

Abstract

We study effective categoricity for linear orderings. For a computable structure \(\mathcal {S}\), the degree of categoricity of \(\mathcal {S}\) is the least Turing degree which is capable of computing isomorphisms among arbitrary computable copies of \(\mathcal {S}\).

We build new examples of degrees of categoricity for linear orderings. We show that for an infinite computable ordinal \(\alpha \), every Turing degree c.e. in and above \(\mathbf {0}^{(2\alpha + 2)}\) is the degree of categoricity for some linear ordering. We obtain similar results for linearly ordered abelian groups and decidable linear orderings.

Keywords

Linear ordering Computable categoricity Computable structure Categoricity spectrum Degree of categoricity Autostability spectrum Ordered abelian group Decidable structure Autostability relative to strong constructivizations 

References

  1. 1.
    Anderson, B.A., Csima, B.F.: Degrees that are not degrees of categoricity. Notre Dame J. Formal Logic. Advance Publication. doi: 10.1215/00294527-3496154
  2. 2.
    Ash, C., Knight, J., Manasse, M., Slaman, T.: Generic copies of countable structures. Ann. Pure Appl. Logic 42(3), 195–205 (1989)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Ash, C.J.: Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Trans. Am. Math. Soc. 298, 497–514 (1986)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ash, C.J.: Stability of recursive structures in arithmetical degrees. Ann. Pure Appl. Logic 32, 113–135 (1986)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. Elsevier Science B.V, Amsterdam (2000)MATHGoogle Scholar
  6. 6.
    Ash, C.J., Knight, J.F.: Pairs of recursive structures. Ann. Pure Appl. Logic 46(3), 211–234 (1990)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Bazhenov, N.: Autostability spectra for decidable structures. Math. Struct. Comput. Sci. (accepted)Google Scholar
  8. 8.
    Bazhenov, N.A.: Autostability spectra for Boolean algebras. Algebra Logic 53(6), 502–505 (2015)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Bazhenov, N.A.: Degrees of autostability for linear orderings and linearly ordered abelian groups. Algebra Logic (accepted)Google Scholar
  10. 10.
    Chisholm, J.: Effective model theory vs. recursive model theory. J. Symbolic Logic 55(3), 1168–1191 (1990)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Chisholm, J., Fokina, E.B., Goncharov, S.S., Harizanov, V.S., Knight, J.F., Quinn, S.: Intrinsic bounds on complexity and definability at limit levels. J. Symbolic Logic 74(3), 1047–1060 (2009)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Csima, B.F., Franklin, J.N.Y., Shore, R.A.: Degrees of categoricity and the hyperarithmetic hierarchy. Notre Dame J. Formal Logic 54(2), 215–231 (2013)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Downey, R.G.: Computability theory and linear orderings. In: Ershov, Y., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol. 2, pp. 823–976. Elsevier Science B.V., Amsterdam (1998). Stud. Logic Found. Math., vol. 139Google Scholar
  14. 14.
    Downey, R.G., Kach, A.M., Lempp, S., Lewis-Pye, A.E.M., Montalbán, A., Turetsky, D.D.: The complexity of computable categoricity. Adv. Math. 268, 423–466 (2015)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Ershov, Y.L., Goncharov, S.S.: Constructive Models. Kluwer Academic/Plenum Publishers, New York (2000)CrossRefMATHGoogle Scholar
  16. 16.
    Fokina, E., Frolov, A., Kalimullin, I.: Categoricity spectra for rigid structures. Notre Dame J. Formal Logic 57(1), 45–57 (2016)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Fokina, E.B., Harizanov, V., Melnikov, A.: Computable model theory. In: Downey, R. (ed.) Turing’s Legacy: Developments from Turing Ideas in Logic. Lecture Notes in Logic, vol. 42, pp. 124–194. Cambridge University Press, Cambridge (2014)Google Scholar
  18. 18.
    Fokina, E.B., Kalimullin, I., Miller, R.: Degrees of categoricity of computable structures. Arch. Math. Logic 49(1), 51–67 (2010)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Fröhlich, A., Shepherdson, J.C.: Effective procedures in field theory. Philos. Trans. Roy. Soc. London Ser. A 248, 407–432 (1956)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Frolov, A.N.: Effective categoricity of computable linear orderings. Algebra Logic 54(5), 415–417 (2015)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Goncharov, S., Harizanov, V., Knight, J., McCoy, C., Miller, R., Solomon, R.: Enumerations in computable structure theory. Ann. Pure Appl. Logic 136(3), 219–246 (2005)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Goncharov, S.S.: Degrees of autostability relative to strong constructivizations. Proc. Steklov Inst. Math. 274, 105–115 (2011)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Goncharov, S.S.: The quantity of nonautoequivalent constructivizations. Algebra Logic 16(3), 169–185 (1977)CrossRefMATHGoogle Scholar
  24. 24.
    Goncharov, S.S., Dzgoev, V.D.: Autostability of models. Algebra Logic 19(1), 28–37 (1980)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Mal’tsev, A.I.: Constructive algebras I. Russ. Math. Surv. 16, 77–129 (1961)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Mal’tsev, A.I.: On recursive abelian groups. Sov. Math. Dokl. 32, 1431–1434 (1962)MATHGoogle Scholar
  27. 27.
    Melnikov, A.G.: Computable ordered abelian groups and fields. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol. 6158, pp. 321–330. Springer, Heidelberg (2010). doi:10.1007/978-3-642-13962-8_36 CrossRefGoogle Scholar
  28. 28.
    Miller, R.: \(\mathbf{d}\)-computable categoricity for algebraic fields. J. Symb. Log. 74(4), 1325–1351 (2009)MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Remmel, J.B.: Recursively categorical linear orderings. Proc. Am. Math. Soc. 83, 387–391 (1981)MathSciNetCrossRefMATHGoogle Scholar
  30. 30.
    Rosenstein, J.G.: Linear Orderings, vol. 98. Academic Press, New York (1982). Pure Appl. MathMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Sobolev Institute of MathematicsNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations