|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2010, Volume 10, Issue 1, Pages 65–69
(Mi vngu31)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements
M. N. Leontyeva Novosibirsk State University
Abstract:
The problem considered in this paper is somehow more general then the investigation of relations between $n$-computability and decidability of Boolean algebra of elementary characteristic $(n,0,1)$ which is complete. In this paper we consider computable Boolean algebra of elementary characteristic $(1,0,1)$ with the computable set of atoms and the ideal of atomic elements. We prove that every such Boolean algebra has strongly computable isomorphic copy. We also generalize this result to Boolean algebras of elementary characteristics $(n,0,1)$.
Keywords:
Boolean algebras, computable set, computable model, strongly computable model, $n$-computability, elementary charakteristic of Boolean algebra, Ershov–Tarski ideal, Frechet ideal.
Received: 26.06.2009
Citation:
M. N. Leontyeva, “Boolean Algebras of Elementary Characteristic $(1,0,1)$ with the Computable Set of Atoms and the Ideal of Atomic Elements”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 10:1 (2010), 65–69; J. Math. Sci., 186:3 (2012), 461–465
Linking options:
https://www.mathnet.ru/eng/vngu31 https://www.mathnet.ru/eng/vngu/v10/i1/p65
|
|