Finite equational bases for finite algebras in a congruence-distributive equational class. (English) Zbl 0356.08006
References:
| [1] | Abbott, J. C., Implicational algebras, Bull. Math. Soc. Sci. Math. R. S. Roumanie, 11, 3-23 (1967), MR 39 No. 1312 · Zbl 0169.30401 |
| [2] | Baker, K. A., Equational axioms for classes of lattices, Bull. Amer. Math. Soc., 77, 97-102 (1971), MR 39 No. 5435 · Zbl 0209.31901 |
| [3] | Baker, K. A., Equational bases for finite algebras, Notices Amer. Math. Soc., 19, 44 (1972), 691-08-02 |
| [4] | Baker, K. A., Primitive satisfaction and equational problems for lattices and other algebras, Trans. Amer. Math. Soc., 190, 125-150 (1974) · Zbl 0291.08001 |
| [5] | K. BakerAlgebra Universalis; K. BakerAlgebra Universalis · Zbl 0355.02039 |
| [6] | Balbes, R.; Horn, A., Stone lattices, Duke Math. J., 37, 537-546 (1970), MR 43 No. 3181 · Zbl 0207.02802 |
| [7] | Birkhoff, G., On the structure of abstract algebras, (Proc. Cambridge Phil. Soc., 31 (1935)), 433-454 · Zbl 0013.00105 |
| [8] | Birkhoff, G., Subdirect unions in universal algebra, Bull. Amer. Math. Soc., 50, 764-768 (1944), MR 6, 33 · Zbl 0060.05809 |
| [9] | Birkhoff, G., Lattice Theory, (Amer. Math. Soc. colloq. Publ., Vol. 25 (1967), American Mathematical Society: American Mathematical Society Providence, R. I), MR 37 No. 2638 · Zbl 0126.03801 |
| [10] | Birkhoff, G.; Pierce, R. S., Lattice-ordered rings, Anal. Acad. Brasil. Ci., 28, 41-69 (1956), MR 18, 191 · Zbl 0070.26602 |
| [11] | Bruns, G.; Kalmbach, G., Varieties of orthomodular lattices, Canad. J. Math., 23, 802-810 (1971), MR 44 No. 6565 · Zbl 0278.06003 |
| [12] | Bruns, G.; Kalmbach, G., Varieties of orthomodular lattices, II, Canad. J. Math., 24, 328-337 (1972), MR 45 No. 3267 · Zbl 0278.06004 |
| [13] | Chen, C. C.; Grätzer, G., Stone lattices I: construction theorems, Canad. J. Math., 21, 884-894 (1969), MR 39 No. 4065a · Zbl 0184.03303 |
| [14] | Chen, C. C.; Grätzer, G., Stone lattices II: structure theorems, Canad. J. Math., 21, 895-903 (1969), MR 39 No. 4065b · Zbl 0184.03304 |
| [15] | Cohn, P. M., Universal algebra (1965), Harper and Row: Harper and Row New York, MR 31 No. 224 · Zbl 0141.01002 |
| [16] | Crawley, P.; Dilworth, R. P., Algebraic Theory of Lattices (1973), Prentice-Hall: Prentice-Hall Englewood Cliffs, N. J · Zbl 0494.06001 |
| [17] | Day, A., A characterization of modularity for congruence lattices of algebras, Canad. Math. Bull., 12, 167-173 (1969), MR 40 No. 1317 · Zbl 0181.02302 |
| [18] | Day, A., Splitting algebras and a weak notion of projectivity, Algebra Universalis, 5, 153-162 (1975) · Zbl 0324.08004 |
| [19] | Epstein, G., The lattice theory of Post algebras, Trans. Amer. Math. Soc., 95, 300-317 (1960), MR 22 No. 3701 · Zbl 0207.29403 |
| [20] | Evans, T., Identical relations in loops. I, J. Austral. Math. Soc., 12, 275-286 (1971), MR 45 No. 6967 · Zbl 0219.20053 |
| [21] | Evans, T., Identities and relations in commutative Moufang loops, J. of Algebra, 31, 508-513 (1974), MR 50 No. 523 · Zbl 0285.20058 |
| [22] | T. Evans; T. Evans · Zbl 0285.08003 |
| [23] | Foster, A. L.; Pixley, A. F., Algebraic and equational semi-maximality; equational spectra. II, Math. Z., 93, 122-133 (1966) · Zbl 0199.32502 |
| [24] | Fried, E.; Grätzer, G., A nonassociative extension of the class of distributive lattices, Pacific J. Math., 49, 59-78 (1973) · Zbl 0282.06008 |
| [25] | Fuchs, L., Partially Ordered Algebraic Systems (1963), Pergámon Press: Pergámon Press New York, MR 30 No. 2090 · Zbl 0137.02001 |
| [26] | Grätzer, G., Universal Algebra (1968), Van Nostrand: Van Nostrand Princeton, N. J, MR 40 No. 1320 · Zbl 0182.34201 |
| [27] | Grätzer, G., Lattice Theory: First Concepts and Distributive Lattices (1971), Freeman: Freeman San Francisco · Zbl 0232.06001 |
| [28] | Grillet, P.-A, Translations and congruences in lattices, Acta Math. Hung., 19, 147-162 (1968), MR 37 No. 113 · Zbl 0155.35101 |
| [29] | Hall, M., Combinational Theory (1967), Blaisdell: Blaisdell Waltham, Mass, MR 37 No. 80 · Zbl 0196.02401 |
| [30] | Henkin, L.; Tarski, A., Cylindric algebras, (Proc. Symp. in Pure Math, Vol. 2 (1961), American Mathematical Society: American Mathematical Society Providence, R.I), 83-113, MR 23 No. A1564 · Zbl 0121.25402 |
| [31] | Henkin, L.; Monk, D.; Tarski, A., Cylindric Algebras (1971), North-Holland: North-Holland Amsterdam, Part I · Zbl 0214.01302 |
| [32] | Herrmann, C., Weak (projective) radius and finite equational bases for classes of lattices, Algebra Universalis, 3, 51-58 (1974) · Zbl 0288.06008 |
| [33] | Holland, S. S., Current interest in orthomodular lattices, (Abbott, J. C., Trends in lattice theory, (Sympos. U. S. Naval Academy, Annapolis, Md., 1966) (1970), Van Nostrand Reinhold: Van Nostrand Reinhold New York), 41-126, MR 42 No. 7569 |
| [34] | Hong, D.-X, Covering relations among lattice varieties, Pacific J. Math., 40, 575-603 (1972) · Zbl 0288.06009 |
| [35] | Isbell, J. R., Notes on ordered rings, Algebra Universalis, 1, 393-399 (1971/1972), MR 45 No. 5055 · Zbl 0238.06013 |
| [36] | Jónsson, B., Algebras whose congruence lattices are distributive, Math. Scand., 21, 110-121 (1967), MR 38 No. 5689 · Zbl 0167.28401 |
| [37] | Jónsson, B., Topics in universal algebra, (Lecture Notes in Mathematics, Vol. 250 (1972), Springer-Verlag: Springer-Verlag Berlin/New York) · Zbl 0225.08001 |
| [38] | Jónsson, B.; Tarski, A., Boolean algebras with operators. II, Amer. J. Math., 74, 127-162 (1952), MR 13, 524 · Zbl 0045.31601 |
| [39] | Katrin̆ák, T., Die Kennzeichnung der distributiven pseudokomplementären Halbverbände, J. Reine Angew. Math., 241, 160-179 (1970), MR 41 No. 5253 · Zbl 0192.33503 |
| [40] | Katrin̆ák, T., Die Kennzeichnung der beschränkten Brouwerschen Verbände, Csech. Math. J., 22, 427-434 (1972) · Zbl 0222.06006 |
| [41] | Katrin̆ák, T., Über eine Konstruktion der distributiven pseudokomplementären Verbände, Math. Nachr., 53, 85-99 (1972) · Zbl 0222.06005 |
| [42] | Katrin̆ák, T., Primitive Klassen von modularen \(S\)-Algebren, J. Reine Angew. Math., 261, 55-87 (1973) · Zbl 0261.06006 |
| [43] | Katrin̆ák, T., Subdirectly irreducible modular \(p\)-algebras, Algebra Universalis, 2, 166-173 (1972) · Zbl 0258.06005 |
| [44] | Kovács, L. G.; Newman, M. F., Cross varieties of groups, (Proc. Roy. Soc. London Ser. A, 292 (1966)), 530-536, MR 33 No. 2715 · Zbl 0139.01601 |
| [45] | Kruse, R. L., Identities satisfied by a finite ring, J. of Algebra, 26, 298-318 (1973), MR 48 No. 4025 · Zbl 0276.16014 |
| [46] | Lakser, H., Principal congruences of pseudocomplemented distributive lattices, (Proc. Amer. Math. Soc., 37 (1973)), 32-36 · Zbl 0269.06005 |
| [47] | Lee, K. B., Equational classes of distributive pseudo-complemented lattices, Canad. J. Math., 22, 881-891 (1970), MR 41 No. 3337 · Zbl 0244.06009 |
| [48] | Lyndon, R. C., Identities in two-valued calculi, Trans. Amer. Math. Soc., 71, 457-465 (1951), MR 13, 422 · Zbl 0044.00201 |
| [49] | Lyndon, R. C., Identities in finite algebras, (Proc. Amer. Math. Soc., 5 (1954)), 8-9, MR 15, 676 · Zbl 0055.02705 |
| [50] | MacDonald, S. Oates, Various varieties, (Pure Mathematics Preprint (1972), Dept. of Math., University of Queensland: Dept. of Math., University of Queensland Brisbane, Australia), No. 26 · Zbl 0272.08005 |
| [51] | MacDonald, S. Oates, Laws in finite strictly simple loops, (Pure Mathematics Preprint (1973), Dept. of Math., University of Queensland: Dept. of Math., University of Queensland Brisbane, Australia), No. 34 · Zbl 0267.08004 |
| [52] | Makkai, M., A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties, Algebra Universalis, 3, 174-181 (1973) · Zbl 0288.08007 |
| [53] | Amer. Math. Soc. Transl., 27, 2, 125-142 (1963), MR 27 No. 1401 · Zbl 0128.02301 |
| [54] | Mal’cev, A. I., The Metamathematics of Algebraic Systems, (Studies in Logic and the Foundations of Mathematics, Vol. 66 (1971), North-Holland: North-Holland Amsterdam) · Zbl 0602.03019 |
| [55] | Mal’cev, A. I., Algebraic Systems, (Die Grundlehren der math. Wissenschaften, Vol. 192 (1972), Springer-Verlag: Springer-Verlag New York), MR 44 No. 142 |
| [56] | McKay, C. G., On finite logics, (Nederl. Akad. Wetensch. Proc. Ser. A 70 = Indag. Math., 29 (1967)), 363-365, MR 35 No. 6524 · Zbl 0153.00702 |
| [57] | McKenzie, R., Equational bases for lattice theories, Math. Scand., 27, 24-38 (1970), MR 43 No. 118 · Zbl 0307.08001 |
| [58] | McKenzie, R., Equational bases and non-modular lattice varieties, Trans. Amer. Math. Soc., 174, 1-44 (1972) · Zbl 0265.08006 |
| [59] | R. McKenzie; R. McKenzie · Zbl 0329.06002 |
| [60] | McNulty, G., The decision problem for equational bases of algebras, (Thesis (1972), University of California: University of California Berkeley) · Zbl 0376.08005 |
| [61] | Michler, G.; Wille, R., Die primitiven Klassen arithmétischer Ringe, Math. Z., 113, 369-372 (1970), MR 41 No. 5420 · Zbl 0207.04703 |
| [62] | Mitschke, A., Implication algebras are 3-permutable and 3-distributive, Algebra Universalis, 1, 182-186 (1972) · Zbl 0242.08005 |
| [63] | Monk, D., On equational classes of algebraic versions of logic. I, Math. Scand., 27, 53-71 (1970), MR 43 No. 6065 · Zbl 0208.01202 |
| [64] | Soviet Math. Dokl., 6, 1020-1024 (1965), MR 32 No. 3998 · Zbl 0154.25506 |
| [65] | Oates, S.; Powell, M. B., Identical relations in finite groups, J. Algebra, 1, 11-39 (1964), MR 28 No. 5108 · Zbl 0121.27202 |
| [66] | Padmanabhan, R.; Quackenbush, R. W., Equational theory of algebras with distributive congruences, (Proc. Amer. Math. Soc., 41 (1973)), 373-377, MR 48 No. 3845 · Zbl 0277.08002 |
| [67] | Perkins, P., Bases for equational theories of semigroups, J. Algebra, 11, 293-314 (1969), MR 38 No. 2232 · Zbl 0186.03401 |
| [68] | Pierce, R. S., Introduction to the Theory of Abstract Algebras (1968), Holt, Rinehart and Winston: Holt, Rinehart and Winston New York, MR 37 No. 2655 |
| [69] | Pixley, A. F., Distributivity and permutability of congruence relations in equational classes of algebras, (Proc. Amer. Math. Soc., 14 (1963)), 105-109, MR 26 No. 3630 · Zbl 0113.24804 |
| [70] | Pixley, A. F., Completeness in arithmetical algebras, Algebra Universalis, 2, 179-196 (1972) · Zbl 0254.08010 |
| [71] | Quackenbush, R. W., Equational classes generated by finite algebras, Algebra Universalis, 1, 265-266 (1971/1972), MR 45 No. 3295 · Zbl 0231.08004 |
| [72] | Rasiowa, H.; Sikorski, R., The Mathematics of Metamathematics, Monografia Matematyczne, t. 41 (1970), Warszawa · Zbl 0122.24311 |
| [73] | Robinson, A., Introduction to Model Theory and to the Metamathematics of Algebra (1965), North-Holland: North-Holland Amsterdam, MR 36 No. 3642 · Zbl 0118.25302 |
| [74] | Szasz, G., Translationen der Verbände, Acta Fac. Rerum Nat. Univ. Comenian., 5, 449-453 (1961), MR 24 No. A2542 · Zbl 0112.01901 |
| [75] | Szasz, G., Introduction to Lattice Theory (1963), Academic Press: Academic Press New York, MR 29 No. 3396 · Zbl 0126.03703 |
| [76] | Tarski, A., On the calculus of relations, J. Symbolic Logic, 6, 73-89 (1941), MR 3, 130 · JFM 67.0973.02 |
| [77] | Tarski, A., Equational logic and equational theories of algebras, (Proc. Logic Colloq.. Proc. Logic Colloq., Hanover, 1966 (1968), North-Holland: North-Holland Amsterdam), 275-288, MR 38 No. 5692 · Zbl 0209.01402 |
| [78] | Taylor, W., Residually small varieties, Algebra Universalis, 2, 33-53 (1972) · Zbl 0263.08005 |
| [79] | Traczyk, T., An equational definition of a class of Post algebras, Bull. Acad. Polon., Sci. Sér. Sci. Math. Astronom. Phys., 12, 147-149 (1964), MR 28 No. 5015 · Zbl 0171.25702 |
| [80] | Troelstra, A. S., On intermediate propositional logics, Indag. Math., 27, 141-152 (1965), MR 30 No. 4674 · Zbl 0143.01102 |
| [81] | Sov. Math. Dokl., 4, 724 (1963), MR 34 No. 1176 |
| [82] | Werner, H.; Wille, R., Charakterisierung der primitiven Klassen arithmetischer Ringe, Math. Z., 115, 197-200 (1970), MR 42 No. 318 · Zbl 0216.33701 |
| [83] | Wille, R., Primitive Länge und primitive Weite bei modularen Verbänden, Math. Z., 108, 129-136 (1969), MR 39 No. 2672 · Zbl 0169.32403 |
| [84] | Wille, R., Variety invariants for modular lattices, Canad. J. Math., 21, 279-283 (1969), MR 39 No. 2671 · Zbl 0208.29102 |
| [85] | Wille, R., Kongruenzklassengeometrien, (Lecture Notes in Mathematics, Vol. 113 (1970), Springer-Verlag: Springer-Verlag Berlin/New York), MR 41 No. 6759 · Zbl 0191.51403 |
| [86] | Wille, R., Primitive subsets of lattices, Algebra Universalis, 2, 95-98 (1972) · Zbl 0269.06001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
