We define a class \( \mathbb{K} \)Σ of primitive recursive structures whose existential diagram is decidable with primitive recursive witnesses. It is proved that a Boolean algebra has a presentation in \( \mathbb{K} \)Σ iff it has a computable presentation with computable set of atoms. Moreover, such a Boolean algebra is primitive recursively categorical with respect to \( \mathbb{K} \)Σ iff it has finitely many atoms. The obtained results can also be carried over to Boolean algebras computable in polynomial time.
Similar content being viewed by others
References
P. E. Alaev, “Existence and uniqueness of structures computable in polynomial time,” Algebra and Logic, 55, No. 1, 72-76 (2016).
P. E. Alaev, “Structures computable in polynomial time. I,” Algebra and Logic, 55, No. 6, 421-435 (2016).
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.
E. I. Latkin, “Polynomial non-autostability. Algebraic approach,” in Logical Methods in Programming, Vychislitel’nye Systemy, 133, Sobolev Institute of Mathematics, Novosibirsk (1990), pp. 14-37.
I. Kalimullin, A. Melnikov A., and K. M. Ng, “Algebraic structures computable without delay”, Theor. Comput. Sci., 674, 73098 (2017).
S. S. Goncharov and V. D. Dzgoev, “Autostability of models,” Algebra and Logic, 19, No. 1, 28-37 (1980).
J. B. Remmel, “Recursive isomorphism types of recursive Boolean algebras,” J. Symb. Log., 46, No. 3, 572-594 (1981).
S. S. Goncharov, “Autostability and computable families of constructivizations,” Algebra and Logic, 14, No. 6, 392-409 (1975).
D. Cenzer and J. Remmel, “Polynomial-time abelian groups,” Ann. Pure Appl. Log., 56, Nos. 1-3, 313-363 (1992).
S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, MA (1974).
S. S. Goncharov, “Some properties of the constructivization of Boolean algebras,” Sib. Math. J., 16, No. 2, 203-214 (1975).
D. Cenzer and J. B. Remmel, “Complexity and categoricity,” Inf. Comput., 140, No. 1, 2-25 (1998).
D. Cenzer and J. Remmel, “Polynomial-time versus recursive models,” Ann. Pure Appl. Log., 54, No. 1, 17-58 (1991).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by RFBR, project No. 17-01-00247.
Translated from Algebra i Logika, Vol. 57, No. 4, pp. 389-425, July-August, 2018.
Rights and permissions
About this article
Cite this article
Alaev, P.E. Categoricity for Primitive Recursive and Polynomial Boolean Algebras. Algebra Logic 57, 251–274 (2018). https://doi.org/10.1007/s10469-018-9498-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-018-9498-1