Geodesic
On Implicational Completeness
Canadian journal of mathematics, Tome 26 (1974) no. 3, pp. 761-768

Voir la notice de l'article provenant de la source Cambridge University Press

A class of (universal) algebras [4; 5] of the same type or species τ is called equationally complete if the variety [4] Var() generated by has exactly two subvarieties —namely Var() itself and the class of all one element algebras. I t follows that equationally complete varieties are the atoms in the complete lattice of all varieties of a given type of algebras. J. Kalicki, D. Scott [7; 8; 9; 10] and others [2; 3; 6; 12] have considered several questions about equational completeness. A good many of these results have appeared in books. (See, for instance, [4, 5], to which we also refer the reader for more extensive bibliography on subjects related to equational completeness.) 
Ahmad, Shafaat. On Implicational Completeness. Canadian journal of mathematics, Tome 26 (1974) no. 3, pp. 761-768. doi: 10.4153/CJM-1974-071-3
@article{10_4153_CJM_1974_071_3,
     author = {Ahmad, Shafaat},
     title = {On {Implicational} {Completeness}},
     journal = {Canadian journal of mathematics},
     pages = {761--768},
     year = {1974},
     volume = {26},
     number = {3},
     doi = {10.4153/CJM-1974-071-3},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-071-3/}
}
TY  - JOUR
AU  - Ahmad, Shafaat
TI  - On Implicational Completeness
JO  - Canadian journal of mathematics
PY  - 1974
SP  - 761
EP  - 768
VL  - 26
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-071-3/
DO  - 10.4153/CJM-1974-071-3
ID  - 10_4153_CJM_1974_071_3
ER  - 
%0 Journal Article
%A Ahmad, Shafaat
%T On Implicational Completeness
%J Canadian journal of mathematics
%D 1974
%P 761-768
%V 26
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-071-3/
%R 10.4153/CJM-1974-071-3
%F 10_4153_CJM_1974_071_3

[1] 1. Ahmad, Shafaat, Subcartesian products of finitely many finite algebras, Proc. Amer. Math. Soc. 26 (1970), 401–404. Google Scholar

[2] 2. Bol'bot, A. D., O mnogoobrazÿach Ω-algebr, Algebra i Logika 9 (1970), 406–414. Google Scholar

[3] 3. Burris, S., On the structure of the lattice of equational classes, L(τ), Algebra Universalis 1 (1971), 39–45. Google Scholar

[4] 4. Cohn, P. M., Universal Algebra (Harper and Row, New York, 1965). Google Scholar

[5] 5. Gratzer, G., Universal Algebra (Van Nostrand, New York, 1968). Google Scholar

[6] 6. Jezk, J., On atoms in the lattice of primitive classes, Comment. Math. Univ. Carolinae 11 (1970), 515–532. Google Scholar

[7] 7. Kalicki, J., The number of equationally complete classes of equations, Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 660–662. Google Scholar

[8] 8. Kalicki, J. and Scott, D., Some equationally complete algebras, Bull. Amer. Math. Soc. 59 (1953), 77–78. Google Scholar

[9] 9. Kalicki, J. and Scott, D., Equational completeness and abstract algebras, Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 650–659. Google Scholar

[10] 10. Scott, D., Equationally complete extensions of finite algebras, Nederl. Akad. Wetensch. Proc. Ser. A 59 (1956), 35–38. Google Scholar

[11] 11. Tarski, A., Fundamentale Begriffe der Méthodologie der deduktiven Wissenschaften. I, Monatsh. Mat. 37 (1930), 361–404. Google Scholar

[12] 12. Tarski, A., Equationally complete rings and relation algebras, Indag. Math. 18 (1956), 39–46. Google Scholar

[13] 13. Tarski, A., Logic, semantics, and metamaihematics (Oxford at the Clarendon Press, 1956). Google Scholar

Cité par Sources :