Advertisement

Siberian Mathematical Journal

, Volume 60, Issue 1, pp 20–26 | Cite as

Primitively Recursively Categorical Linear Orderings

  • K. V. BlinovEmail author
Article
  • 2 Downloads

Abstract

We prove that linear orderings are primitively recursively categorical over a class of structures KΣ if and only if they contain only finitely many successivities.

Keywords

primitively recursive categoricity linear ordering decidability with primitively recursive witnesses 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).Google Scholar
  2. 2.
    Rogers H., Theory of Recursive Functions and Effective Computability, McGraw–Hill, New York (1967).zbMATHGoogle Scholar
  3. 3.
    Latkin E. I., “Polynomial nonautostability. An algebraic approach,” Logical Methods in Programming, vol. 133, No. 6, 14–37 (1990).MathSciNetzbMATHGoogle Scholar
  4. 4.
    Alaev P. E., “Structures computable in polynomial time. I,” Algebra and Logic, vol. 55, No. 6, 421–435 (2017).MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Alaev P. E., “Categoricity for primitive recursive and polynomial Boolean algebras,” Algebra and Logic, vol. 57, No. 4, 251–274 (2018).MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Remmel J. B., “Recursively categorical linear orderings,” Proc. Amer. Math. Soc., vol. 83, No. 2, 379–386 (1981).MathSciNetzbMATHGoogle Scholar
  7. 7.
    Goncharov S. S. and Dzgoev V. D., “Autostability of models,” Algebra and Logic, vol. 19, No. 1, 28–37 (1980).MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Cenzer D. and Remmel J. B., “Complexity theoretic model theory and algebra,” in: Handbook of Recursive Mathematics, 1998, vol. 1, 351–355.zbMATHGoogle Scholar
  9. 9.
    Melnikov A., Kalimullin I., and Ng K. M., “Algebraic structures computable without delay,” Theor. Comput. Sci., 73–98 (2017).Google Scholar

Copyright information

© Pleiades Publishing, Ltd. 2019

Authors and Affiliations

  1. 1.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations