A new proof of Reiterman's theorem
Jarzembski, Grzegorz
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994), p. 239-247 / Harvested from Numdam
Publié le : 1994-01-01
@article{CTGDC_1994__35_3_239_0,
     author = {Jarzembski, Grzegorz},
     title = {A new proof of Reiterman's theorem},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {35},
     year = {1994},
     pages = {239-247},
     mrnumber = {1295119},
     zbl = {0812.08009},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1994__35_3_239_0}
}
Jarzembski, Grzegorz. A new proof of Reiterman's theorem. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 35 (1994) pp. 239-247. http://gdmltest.u-ga.fr/item/CTGDC_1994__35_3_239_0/

[1] B. Banaschewski, The Birkhoff theorem for varieties of finite algebras, Algebra Universalis 17(1983), 360-368. | MR 729943 | Zbl 0534.08005

[2] E. Manes, Algebraic Theories, Graduate Texts in Math. 26, Springer-Verlag, Berlin 1976. | MR 419557 | Zbl 0353.18007

[3] J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14, no.1 (1982),1-10. | MR 634411 | Zbl 0484.08007