@article{10_21136_CMJ_1981_101731,
author = {Je\v{z}ek, Jaroslav},
title = {The lattice of equational theories. {Part} {I:} {Modular} elements},
journal = {Czechoslovak Mathematical Journal},
pages = {127--152},
year = {1981},
volume = {31},
number = {1},
doi = {10.21136/CMJ.1981.101731},
mrnumber = {604120},
zbl = {0477.08006},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1981.101731/}
}
TY - JOUR AU - Ježek, Jaroslav TI - The lattice of equational theories. Part I: Modular elements JO - Czechoslovak Mathematical Journal PY - 1981 SP - 127 EP - 152 VL - 31 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1981.101731/ DO - 10.21136/CMJ.1981.101731 LA - en ID - 10_21136_CMJ_1981_101731 ER -
Ježek, Jaroslav. The lattice of equational theories. Part I: Modular elements. Czechoslovak Mathematical Journal, Tome 31 (1981) no. 1, pp. 127-152. doi: 10.21136/CMJ.1981.101731
[1] A. D. Bol'bot: О mnogoobrazijach $\omega$-algebr. Algebra i logika 9/4 (1970), 406-414. | MR
[2] S. Burris: On the structure of the lattice of equatiorial classes $L(\tau$). Algebra Universalis 1 (1971), 39-45. | DOI | MR
[3] G. Grätzer: Universal algebra. second edition. (To appear.) | MR
[4] E. Jacobs, R. Schwabauer: The lattice of equational classes of algebras with one unary operation. Amer. Math. Monthly 71 (1964), 151-155. | DOI | MR | Zbl
[5] J. Ježek: Primitive classes of algebras with unary and nullary operations. Colloq. Math. 20 (1969), 159-179. | DOI | MR
[6] J. Ježek: Principal dual ideals in lattices of primitive classes. Comment. Math. Univ. Carolinae 9 (1968), 533-545. | MR
[7] J. Ježek: On atoms in lattices of primitive classes. Comment. Math. Univ. Carolinae (1970), 515-532. | MR
[8] J. Ježek: The existence о upper semicomplements in lattices of primitive classes. Comment. Math. Univ. Carolinae 12 (1971), 519-532. | MR
[9] J. Ježek: Upper semicomplements and a definable element in the lattice of groupoid varieties. Comment. Math. Univ. Carolinae 12 (1971), 565-586. | MR
[10] J. Ježek: Intervals in the lattice of varieties. Algebra Universalis 6 (1976), 147-158. | DOI | MR
[11] J. Kalicki: The number of equationally complete classes of equations. Indag. Math. 17 (1955), 660-662. | DOI | MR | Zbl
[12] R. McKenzie: Definability in lattices of equational theories. Annals of Math. Logic 3 (1971), 197-237. | DOI | MR | Zbl
[13] G. McNulty: The decision problem for equational bases of algebras. Annals of Math. Logic 10 (1976), 193-259. | DOI | MR | Zbl
[14] G. McNulty: Undecidable properties of finite sets of equations. J. Symbolic Logic (1977). | MR
[15] G. McNulty: Structural diversity in the lattice of equational theories. (To appear.) | MR | Zbl
[16] G. Pollák: O: n the existence of covers in lattices of varieties. 235-247 in: Contributions to general algebra. Proc. of the Klagenfurt Conference, May 25-28, 1978. Verlag Johannes Heyn, Klagenfurt 1979. | MR
[17] A. Tarski: Equational logic and equational theories of algebras. 275-288 in: H. A. Schmidt, K. Schütte and H. J. Thiele, eds.. Contributions to Mathematical Logic, North-Holland, Amsterdam 1968. | MR | Zbl
[18] W. Taylor: Equational logic. Houston J. of Math. (To appear.) | MR | Zbl
[19] A. N. Trachtman: О pokryvajuščich elementach v strukture mnogoobrazij algebr. Matem. Zametki 15 (1974), 307-312.
Cité par Sources :