References
D. Cenzer and J. Remmel, “Polynomial-time versus recursive models,” Ann. Pure Appl. Log., 54, No. 1, 17-58 (1991).
P. E. Alaev, “Structures computable in polynomial time. I,” Algebra and Logic, 55, No. 6, 421-435 (2016).
P. E. Alaev and V. L. Selivanov, “Fields of algebraic numbers computable in polynomial time. I,” Algebra and Logic, 58, No. 6, 447-469 (2019).
D. Cenzer and J. B. Remmel, “Complexity theoretic model theory and algebra,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Y. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel (Eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 381-513.
P. E. Alaev, “Finitely generated structures computable in polynomial time,” Sib. Math. J., 63, No. 5, 801-818 (2022).
P. Alaev, “Quotient structures and groups computable in polynomial time,” Lect. Notes Comput. Sci., 13296, Springer, Cham (2022), pp. 35-45.
P. E. Alaev, “The complexity of inversion in groups,” to appear in Algebra and Logic.
A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, London (1974).
I. Kalimullin, R. Miller, and H. Schoutens, “Degree spectra for transcendence in fields,” in Lect. Notes Comput. Sci., 11558, Springer, Cham (2019), pp. 205-216.
A. T. Nurtazin, “Computable classes and algebraic criteria for autostability,” Ph. D. Thesis, Institute of Mathematics and Mechanics, Alma-Ata (1974).
M. Harrison-Trainor, A. Melnikov, and A. Montalbán, “Independence in computable algebra,” J. Alg., 443, 441-468 (2015).
Acknowledgements
I am grateful to S. S. Goncharov, N. A. Bazhenov, and A. V. Nechesov for discussing the results of the paper, which allowed me to improve some formulations.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 61, No. 5, pp. 640-646, September-October, 2022. Russian DOI: https://doi.org/10.33048/alglog.2022.61.507.
Supported by Russian Science Foundation, project No. 23-11-00170; https://rscf.ru/project/23-11-00170.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Alaev, P.E. A Criterion for P-Computability of Structures. Algebra Logic 61, 437–441 (2022). https://doi.org/10.1007/s10469-023-09710-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-023-09710-5