Geodesic
Equivalent transformations of formulas in $P_2$
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 5 (2009), pp. 25-32 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

A new proof is given of the theorem originally proved by R. C. Lyndon that any equational class over a finite set of Boolean functions is finitely generated. The original proof of this theorem relied on E. L. Post's description of all closed classes of Boolean functions. J. Berman provided another proof of this theorem not based on description of Post's structure, but using some results from universal algebras. 
@article{VMUMM_2009_5_a4,
     author = {A. B. Ugol'nikov},
     title = {Equivalent transformations of formulas in $P_2$},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {25--32},
     year = {2009},
     number = {5},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2009_5_a4/}
}
TY  - JOUR
AU  - A. B. Ugol'nikov
TI  - Equivalent transformations of formulas in $P_2$
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2009
SP  - 25
EP  - 32
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2009_5_a4/
LA  - ru
ID  - VMUMM_2009_5_a4
ER  - 
%0 Journal Article
%A A. B. Ugol'nikov
%T Equivalent transformations of formulas in $P_2$
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2009
%P 25-32
%N 5
%U http://geodesic.mathdoc.fr/item/VMUMM_2009_5_a4/
%G ru
%F VMUMM_2009_5_a4
A. B. Ugol'nikov. Equivalent transformations of formulas in $P_2$. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 5 (2009), pp. 25-32. http://geodesic.mathdoc.fr/item/VMUMM_2009_5_a4/