Non-self-equivalent constructivization of atomic Boolean algebras
Matematičeskie zametki, Tome 19 (1976) no. 6, pp. 853-858
Cet article a éte moissonné depuis la source Math-Net.Ru
In the paper we prove that any constructivizable infinite atomic Boolean algebra has $\aleph0$ non-self-equivalent constructivizations.
@article{MZM_1976_19_6_a3,
author = {S. S. Goncharov},
title = {Non-self-equivalent constructivization of atomic {Boolean} algebras},
journal = {Matemati\v{c}eskie zametki},
pages = {853--858},
year = {1976},
volume = {19},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a3/}
}
S. S. Goncharov. Non-self-equivalent constructivization of atomic Boolean algebras. Matematičeskie zametki, Tome 19 (1976) no. 6, pp. 853-858. http://geodesic.mathdoc.fr/item/MZM_1976_19_6_a3/