We study the Δ 0 β -categoricity of Boolean algebras. We prove that if δ is a limit ordinal or 0, n ∈ ω, and δ+n ≥ 1, then the Boolean algebra \( \mathfrak{B} \)(ωδ+n×η) is Δ 0 δ + 2n + 1 -categorical, but not Δ 0 δ + 2n -categorical.
Similar content being viewed by others
References
S. S. Goncharov, Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga (IDMI), Novosibirsk (1996); English transl.: Plenum, New York (1997).
Yu. L. Ershov and S. S. Goncharov, Constructive Models, [in Russian], Nauchnaya Kniga (IDMI), Novosibirsk (1999); English transl.: Consultants Bureau (2000).
C. J. Ash and J. F. Khight, Computable Structures and the Hyperarithmetical Hierarchy, Elsevier, Amsterdam (2000).
C. J. Ash, J. F. Khight, M. Manasse, and T. Slaman, “Generic copies of countable structures,” Ann. Pure Appl. Logic 42, No. 3, 195–205 (1989).
J. Chisholm, “Effective model theory vs. recursive model theory,” J. Symb. Log. 55, No. 3, 1168–1191 (1990).
S. S. Goncharov, “On the number of nonequivalent constructivizations” [in Russian], Algebra Logika 16, No. 3, 257–282 (1977).
S. Goncharov, V. Harizanov, J. Knight, Ch. McCoy, R. Miller, and R. Solomon, “Enumerations in computable structure theory,” Ann. Pure Appl. Logic 136, No. 3, 219–246 (2005).
J. Chisholm, E. B. Fokina, S. S. Goncharov, V. S. Harizanov, J. F. Knight, and S. Quinn, “Intrinsic bounds on complexity and definability at limit levels,” J. Symb. Log 74, No. 3, 1047–1060 (2009).
S. S. Goncharov, “Autostability and computable families of constructivizations” [in Russian], Algebra Logika 14, No. 6, 647–680 (1975).
S. S. Goncharov and V. D. Dzgoev, “Autostability of models” [in Russian], Algebra Logika 19, No. 1, 45–58 (1980); English transl.: Algebra Logic 19, 28–37 (1980).
J. B. Remmel, “Recursive isomorphism types of recursive Boolean algebras,” J. Symb. Log. 46, No. 3, 572–594 (1981).
Ch. McCoy, Δ 02 -Categoricity in Boolean algebras and linear orderings,” Ann. Pure Appl. Logic 119, No. 1–3, 85–120 (2003).
Ch. F. McCoy, “Partial results in Δ 03 -categoricity in linear orderings and Boolean algebras” [in Russian], Algebra Logika 41, No. 5, 531–552 (2002); English transl.: Algebra Logic 41, No. 5, 295–305 (2002).
C. J. Ash, “Categoricity in hyperarithmetical degrees,” Ann. Pure Appl. Logic 34, No. 1, 1–14 (1987).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Vestnik Novosibirskogo Gosudarstvennogo Universiteta: Seriya Matematika, Mekhanika, Informatika 12, No. 3, 2012, pp. 35–45.
Rights and permissions
About this article
Cite this article
Bazhenov, N.A. Hyperarithmetical Categoricity of Boolean Algebras of Type \( \mathfrak{B} \)(ω α × η). J Math Sci 202, 40–49 (2014). https://doi.org/10.1007/s10958-014-2032-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-014-2032-7