Congruences, equational theories and lattice representations

G.Birkhoff, Universal Algebra,Proc. First Canadian Math. Congress, Montreal, University of Toronto Press, Toronto, 1946 (1945), 310–326. G.Birkhoff, On groups of automorphisms (Spanish),Rev. Un. Mat. Argentina 11 (1946), 155–157. S.Burris, On the structure of the lattice of equational classesL(T), Algebra Universalis 1 (1971), 39–45. S.Burris and E.Nelson, Embedding the dual of II m in the lattice of equational classes of commutative semigroups},Proc. Amer. Math. Soc. 30 (1971), 37–39. S.Burris and E.Nelson, Embedding the dual of II∞ in the lattice of equational classes of semigroups,Algebra Universalis 1 (1971), 248–253. P.Crawley and R.P.Dilworth,Algebraic Theory of Lattices, Prentice-Hall, Englewood Cliffs, New Jersey, 1973. M.Erné, Weak distributivity laws and their role in lattices of congruences of equational theories,Algebra Universalis 25 (1988), 290–321. R.Freese, W.A.Lampe and W.Taylor, Congruence lattices of algebras of fixed similarity type, I,Pacific J. Math. 82 (1979), 59–68. G.Grätzer, On the congruence lattice of a lattice, I,The Dilworth Theorems, Selected Papers of Robert P. Dilworth (K.Bogart, R.Freese and J.Kung, eds.), Birkhäuser, Basel, 1990, 460–464. G.Grätzer and W.A.Lampe, The independence proof, Appendix 7 ofUniversal Algebra, 2nd Edition, by G. Grätzer, Springer-Verlag, New York, 1979. G.Grätzer and E.T.Schmidt, Characterizations of congruence lattices of abstract algebras,Acta Sci. Math. (Szeged)24 (1963), 34–59. M.Haiman, Two notes on the Arguesian identity,Algebra Universalis 21 (1985), 167–171. M.Haiman, Proof theory for linear lattices,Advances in Math. 58 (1985), 209–242. M.Haiman, Arguesian lattices which are not linear,Bull. Amer. Math. Soc. 16 (1987), 121–124. M.Haiman, Arguesian lattices which are not type-1,Algebra Universalis 28 (1991), 128–137. D.Hobby and R.McKenzie,The Structure of Finite Algebras (tame congruence theory), Contemporary Mathematics, American Mathematical Society, Providence, RI, 1988. J.Je zek, Intervals in the lattice of varieties,Algebra Universalis 5 (1976), 147–158. J.Je zek, The lattice of equational theories, Part I: Modular elements,Czechoslovak Math. J. 31 (1981), 127–152; II: The lattice of full sets of terms,Czechoslovak Math. J. 31(106) (1981), 573–603; III: definability and automorphisms,Czechoslovak Math. J. 32 (1982), 129–164; IV: equational theories of finite algebras,Czechoslovak Math. J. 36 (1986), 331–341. J.Je zek and T.Kepka, Atoms in the lattice of varieties of distributive groupoids.Lattice theory (Proc. Colloq., Szeged, 1974), Colloq. Math. Soc. János Bolyai14 (1976), 185–194. J.Je zek, N.Newrly and J.Tůma, Remarks on equational theories of semi-lattices with operators,Comment. Math. Univ. Carolinae 31 (1990), 415–425. J. Je zek, P. Pudlák andJ. Tůma, On equational theories of semilattices with operators (to appear). B.Jónsson, On the representation of lattices,Math. Scand. 1 (1953), 193–206. B.Jónsson, Modular lattices and Desarques theorem,Math. Scand. 2 (1954), 295–314. B. Jónsson, Representations of lattices II,Bull. Amer. Math. Soc. 60 (1954). B.Jónsson, Representations of modular lattices and relation algebras,Trans. Amer. Math. Soc. 92 (1959), 449–464. B.Jónsson, Algebras whose congruence lattices are distributive,Math. Scand. 21 (1967), 110–121. B.Jónsson, The class of Arguesian lattices is selfdual,Algebra Universalis 2 (1972), 396–396. B.Jónsson,Topics in universal algebra, Lecture Notes in Mathematics, vol.250, Springer-Verlag, New York, 1972. B.Jónsson and T.P.Whaley, Congruence relations and multiplicity types of algebras,Pacific J. Math. 50 (1974), 505–520. W.A.Lampe, The independence of certain related structures of a universal algebra. I.,Algebra Universalis 2 (1972), 99–112; The independence of certain related structures of a universal algebra. II.,Algebra Universalis 2 (1972), 270–283; The independence of certain related structures of a universal algebra. III.,Algebra Universalis 2 (1972), 286–295; The independence of certain related structures of a universal algebra. IV.,Algebra Universalis 2 (1972), 296–302. W.A.Lampe, On the congruence lattice characterization theorem,Trans. Amer. Math. Soc. 182 (1973), 43–60. W.A.Lampe, Congruence lattices of algebras of fixed similarity type, II,Pacific J. Math. 103 (1982), 475–508. W.A.Lampe, Congruence lattice representations and similarity type,Universal Algebra, Proceedings of the Universal Algebra Colloquium, Esztergom, Hungary, 1977 (B.Csákány, E.Fried and E.T.Schmidt, eds.), Colloquiua Mathematica Societatis János Bolyai, vol.29, Elsevier North-Holland Inc., New York, 1982, 495–500. W.A.Lampe, A property of the lattices of equational theories,Algebra Universalis 23 (1986), 61–69. W.A. Lampe, Further properties of lattices of equational theories,Algebra Universalis (to appear). W.A.Lampe, A perspective on algebraic representations of lattices,Algebra Universalis 31 (1994), 357–364. W.A. Lampe, Congruence lattices of algebras of fixed similarity type, III,manuscript. A.I. Maltsev, Some borderline problems of algebra and logic, (Russian),Proc. Internat. Congr. Math. (Moscow, 1966) (1968), 217–231. A.I. Maltsev,The metamathematics of algebraic systems. Collected papers. 1936–1967., Studies in Logic and the Foundations of Mathematics, vol. 66, 1971. R.McKenzie, Finite forbidden lattices,Universal Algebra and Lattice Theory (R.Freese and O.garcia, eds.), Lecture notes in Mathematics, vol.1004, Springer-Verlag, New York, 1983, 176–205. R.McKenzie, A new product of algebras and a type reduction theorem,Algebra Universalis 18 (1984), 29–69. R.McKenzie, G.McNulty and W.Taylor,Algebras, Lattices, Varieties, Volume I, Wadsworth and Brooks/Cole, Monterey, California, 1987. G.McNulty, Structural diversity in the lattice of equational theories,Algebra Universalis 13 (1981), 271–292. G.McNulty, Covering in the lattice of equational theories and some properties of term finite theories,Algebra Universalis 15 (1982), 115–125. N.Newrly, Lattices of equational theories are congruence lattices of monoids with one additional operation,Algebra Universalis 30 (1993), 217–220. P.P.Pálfy, Distributive congruence lattices of finite algebras,Acta Sci. Math. 51 (1987), 153–162. D. Pigozzi andG. Tardos, The representation of certain abstract lattices as lattices of subvarieties, a 1980'smanuscript. P.Pudlák, A new proof of the congruence lattice representation theorem,Algebra Universalis 6 (1976), 269–275. P.Pudlák, On congruence lattices of lattices,Algebra Universalis 20 (1985), 96–114. W.Taylor, Some applications of the term condition,Algebra Universalis 14 (1982), 11–25. M.Tischendorf, On the representation of distributive semilattices,Algebra Universalis 31 (1994), 446–455. J.Tůma, On simultaneous representations of distributive lattices,Acta Sci. Math. (Szeged) 58 (1993), 67–74. P.Whitman, Lattices, equivalence relations and subgroups,Bull. Amer. Math. Soc. 52 (1946), 507–522. H.Werner, Which partition lattices are congruence lattices?,Lattice theory, Proceedings of the Colloquium held in Szeged, 1974. Colloquia Mathematica Societatis János Bolyai, vol.14, North-Holland Publishing Co., Amsterdam, 1976, 433–453.