|
This article is cited in 6 scientific papers (total in 6 papers)
Decidable Boolean Algebras of Characteristic $(1,0,1)$
P. E. Alaev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We prove that every 2-constructive Boolean algebra with elementary characteristic $(1,0,1)$ is strongly constructivizable (decidable). This completes the study of the relation between $n$-constructibility and strong constructibility for Boolean algebras of characteristics $(0,*,*)$ and $(1,*,*)$. In addition, we give a description for 3-constructive Boolean algebras by means of a $\Delta^0_2$-computable invariant.
Key words:
Boolean algebra, algorithm, computability, constructive structure.
Received: 24.07.2003
Citation:
P. E. Alaev, “Decidable Boolean Algebras of Characteristic $(1,0,1)$”, Mat. Tr., 7:1 (2004), 3–12; Siberian Adv. Math., 15:1 (2005), 1–10
Linking options:
https://www.mathnet.ru/eng/mt68 https://www.mathnet.ru/eng/mt/v7/i1/p3
|
Statistics & downloads: |
Abstract page: | 437 | Full-text PDF : | 121 | References: | 58 | First page: | 1 |
|