Конструктивизируемость булевых алгебр элементарной характеристики ${\mathbb{Z}}_{2^m}$.

Власов, В.Н., et al. "Конструктивизируемость булевых алгебр элементарной характеристики $\mathbb {Z}_{2^m}$.." Algebra i Logika 37.5 (1998): 499-521. <http://eudml.org/doc/187863>.

@article{Власов1998,
author = {Власов, В.Н., Vlasov, V. N., Vlasov, V. N., Vlasov, V. N.},
journal = {Algebra i Logika},
keywords = {constructivizable Boolean algebra; Feiner's hierarchy},
language = {rus},
number = {5},
pages = {499-521},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Конструктивизируемость булевых алгебр элементарной характеристики $\mathbb \{Z\}_\{2^m\}$.},
url = {http://eudml.org/doc/187863},
volume = {37},
year = {1998},
}

TY - JOUR
AU - Власов, В.Н.
AU - Vlasov, V. N.
AU - Vlasov, V. N.
AU - Vlasov, V. N.
TI - Конструктивизируемость булевых алгебр элементарной характеристики $\mathbb {Z}_{2^m}$.
JO - Algebra i Logika
PY - 1998
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 37
IS - 5
SP - 499
EP - 521
LA - rus
KW - constructivizable Boolean algebra; Feiner's hierarchy
UR - http://eudml.org/doc/187863
ER -