Geodesic
On a sufficient condition for the strong constructivizability of atomic Boolean algebras
Vladikavkazskij matematičeskij žurnal, Tome 2 (2000) no. 2, pp. 10-18
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{VMJ_2000_2_2_a1,
     author = {V. D. Dzgoev},
     title = {On a sufficient condition for the strong constructivizability of atomic {Boolean} algebras},
     journal = {Vladikavkazskij matemati\v{c}eskij \v{z}urnal},
     pages = {10--18},
     year = {2000},
     volume = {2},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMJ_2000_2_2_a1/}
}
TY  - JOUR
AU  - V. D. Dzgoev
TI  - On a sufficient condition for the strong constructivizability of atomic Boolean algebras
JO  - Vladikavkazskij matematičeskij žurnal
PY  - 2000
SP  - 10
EP  - 18
VL  - 2
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VMJ_2000_2_2_a1/
LA  - ru
ID  - VMJ_2000_2_2_a1
ER  - 
%0 Journal Article
%A V. D. Dzgoev
%T On a sufficient condition for the strong constructivizability of atomic Boolean algebras
%J Vladikavkazskij matematičeskij žurnal
%D 2000
%P 10-18
%V 2
%N 2
%U http://geodesic.mathdoc.fr/item/VMJ_2000_2_2_a1/
%G ru
%F VMJ_2000_2_2_a1
V. D. Dzgoev. On a sufficient condition for the strong constructivizability of atomic Boolean algebras. Vladikavkazskij matematičeskij žurnal, Tome 2 (2000) no. 2, pp. 10-18. http://geodesic.mathdoc.fr/item/VMJ_2000_2_2_a1/

[1] Dzgoev V. D., “O konstruktiviziruemosti bulevykh algebr”, IV Vsesoyuznaya konferentsiya po matematicheskoi logike, Tezisy dokladov, Kishinev, 1976, 42

[2] Goncharov S. S., Schetnye bulevy algebry i razreshimost, Nauchnaya kniga, Novosibirsk, 1996 | MR

[3] Goncharov S. S., Ershov Yu. L., Konstruktivnye modeli, Nauchnaya kniga, Novosibirsk, 2000

[4] Ershov Yu. L., Opredelimost i vychislimost, Nauchnaya kniga, Novosibirsk, 1996 | MR | Zbl

[5] Peretyatkin M. G., “Silno konstruktivnye modeli i numeratsii bulevoi algebry rekursivnykh mnozhestv”, Algebra i logika, 10:5 (1971), 535–557

[6] Goncharov S. S., “Nekotorye svoistva konstruktivizatsii bulevykh algebr”, Sib. mat. zhurn., 17:2 (1976), 257–282 | MR

[7] Remmel J. B., “Recursive isomorphism types of recursively presented Boolean algebras”, Notices Amer. Math. Soc., 25:7 (1978), A-706

[8] Dzgoev V. D., “Dekartovy stepeni konstruktivnykh modelei”, V Vsesoyuznaya konferentsiya po matematicheskoi logike, Tezisy dokladov, Novosibirsk, 1979, 43–44

[9] Dzgoev V. D., Konstruktivizatsii algebraicheskikh konstruktsii, Diss. na soisk. uch. step. kand. fiz.-mat. nauk, NGU, Novosibirsk, 1980