It is proved that there exists a computable Boolean algebra of elementary characteristics (1, 0, 1) which has a computable set of atoms and a computable Ershov–Tarski ideal, but no strongly computable isomorphic copy. Also a description of \( \Delta_6^0 \)-computable Boolean algebras is presented.
Similar content being viewed by others
References
S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
Handbook of Boolean Algebras, Vols. 1–3, J. D. Monk (ed.), North-Holland, Amsterdam (1989).
Yu. L. Ershov, “Decidability of the elementary theory of distributive structures with relative complements and of the filter theory,” Algebra Logika, 3, No. 3, 17–38 (1964).
S. S. Goncharov, “Bounded theories of constructive Boolean algebras,” Sib. Mat. Zh., 17, No. 4, 797–812 (1976).
P. E. Alaev, “Decidable Boolean algebras of characteristic (1, 0, 1),” Mat. Trudy, 7, No. 1, 3–12 (2004).
V. N. Vlasov, “Constructibility of Boolean algebras of elementary characteristic (1, 0, 1),” Algebra Logika, 37, No. 5, 499–521 (1998).
M. N. Leontieva, “Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and ideal of atomic elements are computable,” Vestnik NGU, Mat., Mekh., Inf., 10, No. 1, 65–69 (2010).
P. E. Alaev, “Computable homogeneous Boolean algebras and a metatheorem,” Algebra Logika, 43, No. 2, 133–158 (2004).
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
R. L. Vaught, “Topics in the theory of arithmetical classes and Boolean algebras,” Ph. D. Thesis, Univ. California, Berkeley (1954).
P. E. Alaev, “Hyperarithmetical Boolean algebras with a distinguished ideal,” Sib. Mat. Zh., 45, No. 5, 963–976 (2004).
L. Feiner, “Hierarchies of Boolean algebras,” J. Symb. Log., 35, No. 3, 365–374 (1970).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the RFBR (project No. 11-01-00236), by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-3606.2010.1), by the Grants Council (under RF President) for State Aid of Young Doctors of Science (project MD-3377.2008.1), and by the Federal Program “Scientific and Scientific-Pedagogical Cadres for Innovative Russia” in 2009–2013 (gov. contract No. 02.740.11.0429).
Translated from Algebra i Logika, Vol. 50, No. 2, pp. 133–151, March-April, 2011.
Rights and permissions
About this article
Cite this article
Leontieva, M.N. Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov–Tarski ideal are computable. Algebra Logic 50, 93–105 (2011). https://doi.org/10.1007/s10469-011-9126-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-011-9126-9