We prove that a superatomic Boolean algebra is perfectly locally computable if and only if its rank is a computable ordinal. Bibliography: 7 titles.
Similar content being viewed by others
References
S. S. Goncharov and Yu. L. Ershov, Constructive Models, Kluwer Academic/Plenum Press, New York (2002).
R. Miller and D. Mulcahey, “Perfect local computability and computable simulations,” Lect. Notes Comput. Sci. 5028, 447–456 (2008).
R. Miller, “Locally computable structures,” Lect. Notes Comput. Sci. 4497, 575–584 (2007).
S. S. Goncharov, “Constructivizability of superatomic Boolean algebras” [in Russian], Algebra Logika 12, No. 1, 31–40 (1973).
S. S. Goncharov, Countable Boolean Algebras and Decidability, Kluwer Academic/Plenum Publishers, New York (1997).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
G. E. Sacks, Higher Recursion Theory Springer, Berlin etc. (1990).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Vestnik Novosibirskogo Gosudarstvennogo Universiteta: Seriya Matematika, Mekhanika, Informatika 14, No. 2, 2014, pp. 24-41.
Rights and permissions
About this article
Cite this article
Luppov, D.A. Perfect Local Computability of Superatomic Boolean Algebras. J Math Sci 211, 789–804 (2015). https://doi.org/10.1007/s10958-015-2634-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-015-2634-8