Voir la notice de l'article provenant de la source Numdam
@article{ASCFM_1976__60_13_129_0,
author = {Rubin, Matatyahu},
title = {The theory of boolean algebras with a distinguished subalgebra is undecidable},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {129--134},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {60},
number = {13},
year = {1976},
mrnumber = {465835},
zbl = {0354.02036},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_129_0/}
}
TY - JOUR AU - Rubin, Matatyahu TI - The theory of boolean algebras with a distinguished subalgebra is undecidable JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1976 SP - 129 EP - 134 VL - 60 IS - 13 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_129_0/ LA - en ID - ASCFM_1976__60_13_129_0 ER -
%0 Journal Article %A Rubin, Matatyahu %T The theory of boolean algebras with a distinguished subalgebra is undecidable %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1976 %P 129-134 %V 60 %N 13 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_129_0/ %G en %F ASCFM_1976__60_13_129_0
Rubin, Matatyahu. The theory of boolean algebras with a distinguished subalgebra is undecidable. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 129-134. http://geodesic.mathdoc.fr/item/ASCFM_1976__60_13_129_0/