Geodesic
Decidable Boolean Algebras of Characteristic $(1,0,1)$
Matematičeskie trudy, Tome 7 (2004) no. 1, pp. 3-12 
P. E. Alaev. Decidable Boolean Algebras of Characteristic $(1,0,1)$. Matematičeskie trudy, Tome 7 (2004) no. 1, pp. 3-12. http://geodesic.mathdoc.fr/item/MT_2004_7_1_a0/
@article{MT_2004_7_1_a0,
     author = {P. E. Alaev},
     title = {Decidable {Boolean} {Algebras} of {Characteristic~}$(1,0,1)$},
     journal = {Matemati\v{c}eskie trudy},
     pages = {3--12},
     year = {2004},
     volume = {7},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2004_7_1_a0/}
}
TY  - JOUR
AU  - P. E. Alaev
TI  - Decidable Boolean Algebras of Characteristic $(1,0,1)$
JO  - Matematičeskie trudy
PY  - 2004
SP  - 3
EP  - 12
VL  - 7
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MT_2004_7_1_a0/
LA  - ru
ID  - MT_2004_7_1_a0
ER  - 
%0 Journal Article
%A P. E. Alaev
%T Decidable Boolean Algebras of Characteristic $(1,0,1)$
%J Matematičeskie trudy
%D 2004
%P 3-12
%V 7
%N 1
%U http://geodesic.mathdoc.fr/item/MT_2004_7_1_a0/
%G ru
%F MT_2004_7_1_a0

Voir la notice de l'article provenant de la source Math-Net.Ru

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.

[1] Alaev P. E., “Giperarifmeticheskie bulevy algebry s vydelennym idealom”, Sib. mat. zhurn., 45:5 (2004), 963–976 | MR | Zbl

[2] Vlasov V. N., “Konstruktiviziruemost bulevykh algebr elementarnoi kharakteristiki $(1,0,1)$”, Algebra i logika, 37:5 (1998), 499–521 | MR | Zbl

[3] Vlasov V. N., Goncharov S. S., “O silnoi konstruktiviziruemosti bulevykh algebr elementarnoi kharakteristiki $(1,1,0)$”, Algebra i logika, 32:6 (1993), 618–630 | MR | Zbl

[4] Goncharov S. S., “Nekotorye svoistva konstruktivizatsii bulevykh algebr”, Sib mat. zhurn., 16:2 (1975), 264–278 | MR | Zbl

[5] Goncharov S. S., “Ogranichennye teorii konstruktivnykh bulevykh algebr”, Sib. mat. zhurn., 17:4 (1976), 797–812 | MR | Zbl

[6] Goncharov S. S., Schetnye bulevy algebry, Nauka, Novosibirsk, 1988

[7] Goncharov S. S., Schetnye bulevy algebry i razreshimost, Nauchnaya kniga, Novosibirsk, 1996

[8] Odintsov S. P., Ogranichennye teorii konstruktivnykh bulevykh algebr nizhnego sloya, Preprint, No 21, IM SO AN SSSR, Novosibirsk, 1986

[9] Odintsov S. P., “Generally constructive Boolean algebras”, Recursive Algebra, Analysis, and Combinatorics, Handbook of Recursive Mathematics, 2, Elsevier, Amsterdam, 1998, 1319–1354 | MR | Zbl