Abstract
We study computable Boolean algebras with distinguished ideals (I-algebras for short). We prove that the isomorphism problem for computable I-algebras is Σ 11 -complete and show that the computable isomorphism problem and the computable categoricity problem for computable I-algebras are Σ 03 -complete.
Similar content being viewed by others
References
Kogabaev N. T., “Universal numbering for constructive I-algebras,” Algebra and Logic, 40, No. 5, 315–326 (2001).
Goncharov S. S. and Ershov Yu. L., Constructive Models, Consultants Bureau, New York, NY (2000).
Ershov Yu. L. and Goncharov S. S., “Elementary theories and their constructive models,” in: Handbook of Recursive Mathematics. Vol. 1, North-Holland, Amsterdam (1998) (Stud. Logic Found. Math.; V. 138).
Goncharov S. S., Countable Boolean Algebras and Decidability, Plenum, New York, NY (1997).
Goncharov S. S. and Knight J. F., “Computable structure and non-structure theorems,” Algebra and Logic, 41, No. 6, 351–373 (2002).
Alaev P. E., “Autostable I-algebras,” Algebra and Logic, 43, No. 5, 285–306 (2004).
Kogabaev N. T., “Autostability of Boolean algebras with distinguished ideal,” Siberian Math. J., 39, No. 5, 927–935 (1998).
Author information
Authors and Affiliations
Additional information
Original Russian Text Copyright © 2006 Kogabaev N. T.
The author was partially supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-2112.2003.1), the Russian Foundation for Basic Research (Grant 05-01-00819), and the Program “Universities of Russia” (Grant UR.04.01.198).
__________
Translated from Sibirski \(\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{l} \) Matematicheski \(\overset{\lower0.5em\hbox{$\smash{\scriptscriptstyle\smile}$}}{l} \) Zhurnal, Vol. 47, No. 2, pp. 352–360, March–April, 2006.
Rights and permissions
About this article
Cite this article
Kogabaev, N.T. Complexity of some natural problems on the class of computable I-algebras. Sib Math J 47, 291–297 (2006). https://doi.org/10.1007/s11202-006-0041-6
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11202-006-0041-6