Skip to main content
SpringerLink
Log in

Bjarni Jónsson's contributions in algebra

  • Published:
algebra universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Adams, M. E., Koubek, V. andSichler, J.,Endomorphisms and homomorphisms of Heyting algebras, Algebra Universalis20 (1985), 167–178; MR 87b:06022.

    Google Scholar 

  2. Adams, M. E., Koubek, V. andSichler, J.,Homomorphisms and endomorphisms of distributive lattices, Houston J. Math.11 (1985), 129–145; MR 86m:06016.

    Google Scholar 

  3. Adams, M. E. andSichler, J.,Cover set lattices, Canad. J. Math.32 (1980), 1177–1205; MR 82g:06010.

    Google Scholar 

  4. Andreka, H. andThompson, R. J.,A Stone type representation theorem for algebras of relations of higher rank, Trans. Amer. Math. Soc.309 (1988), 671–682; MR 90d:03135.

    Google Scholar 

  5. Appleson, R. A.,Zero-divisors among finite structures of a fixed type, Algebra Universalis6 (1976), 25–35; MR 53 #2796.

    Google Scholar 

  6. Apps, A. B.,Boolean powers of groups, Math. Proc. Cambridge Philos. Soc.91 (1982), 375–395; MR 83f:20023.

    Google Scholar 

  7. Arnold, D. M., andVinsonhaler, C. I.,Duality and invariants for Butler groups, Pacific J. Math148 (1991), 1–10.

    Google Scholar 

  8. Ash, C. J.,On countable n-valued Post algebras, Algebra Universalis2 (1972), 339–345; MR 47 # 6589.

    Google Scholar 

  9. Aust, C.,Primitive elements and one relation algebras, Trans. Amer. Math. Soc.193 (1974), 375–387; MR 49 # 8916.

    Google Scholar 

  10. Bacsich, P. D.,Injectivity in model theory, Colloq. Math.25 (1972), 165–176; MR 48 #3840.

    Google Scholar 

  11. Bacsich, P. D.,Diagrammatic construction of homogeneous universal models, J. London Math. Soc. (2)5 (1972), 762–768; MR 47 #34.

    Google Scholar 

  12. Bacsich, P. D.,Primality and model-completions, Algebra Universalis3 (1973), 265–270; MR 50 # 4441.

    Google Scholar 

  13. Bacsich, P. D.,Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis5 (1975), 45–55; MR 52 # 2873.

    Google Scholar 

  14. Baer, R.,Direct decompositions into infinitely many summands, Trans. Amer. Math. Soc.:64 (1948), 519–551; MR 10-425.

    Google Scholar 

  15. Bairamov, R. A., Mahmudov, A. A. andFeizullaev, R. B.,Some finiteness conditions and operators in the theory of varieties, Isv. Akad. Nauk Azerbaidžan SSR Ser. Fiz.-Tehn. Math. Nauk1977 (1977), 93–98; MR 58 # 21896.

    Google Scholar 

  16. Baker, K. A.,Equational classes of modular lattices, Pacific J. Math.28 (1969), 9–15; MR 39 #5435.

    Google Scholar 

  17. Baker, K. A.,Equational axioms for classes of lattices, Bull. Amer. Math. Soc.77 (1971), 97–102; MR 44 #5256.

    Google Scholar 

  18. Baker, K. A.,Primitive satisfaction and equational problems for lattices and other algebras, Trans. Amer. Math. Soc.190 (1974), 125–150; MR 50 #2025.

    Google Scholar 

  19. Baker, K. A.,Equational axioms for classes of Heyting algebras, Algebra Universalis6 (1976), 105–120; MR 54 #12520.

    Google Scholar 

  20. Baker, K. A.,Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math.24 (1977), 207–243; MR 56 #5389.

    Google Scholar 

  21. Baker, K. A.,Congruence-distributive polynomial reducts of lattices, Algebra Universalis9 (1979), 142–145; MR 80c:08005.

    Google Scholar 

  22. Baker, K. A.,Some non-finitely-based varieties of lattices, inUniversal Algebra, B. Csakany, E. Fried, and E. T. Schmidt, eds., Colloq. Math. Soc. Janos Bolyai 29, North-Holland (Amsterdam) 1982, pp. 53–59; MR 83g:06009.

    Google Scholar 

  23. Baker, K. A.,Nondefinability of projectivity in lattice varieties, Algebra Universalis17 (1983), 267–274; MR 85k:06006.

    Google Scholar 

  24. Baker, K. A. andPixley, A. F.,Polynomial interpolation and the Chinese remainder theorem for algebraic systems, Math. Z.143 (1978), 165–174; MR 51 #7999.

    Google Scholar 

  25. Balbes, R.,On the triple characterization for Stone algebras, Canad. J. Math.27 (1975), 852–859; MR 53 #13056.

    Google Scholar 

  26. Baldwin, J. T.,A sufficient condition for a variety to have the amalgamation property, Colloq. Math.28 (1973), 181–183; MR 48 #5957.

    Google Scholar 

  27. Baldwin, J. T.,Stability theory and algebra, J. Symbolic Logic44 (1979), 599–608; MR 81i:03051.

    Google Scholar 

  28. Baldwin, J. T.,The number of subdirectly irreducible algebras in a variety II, Algebra Universalis10 (1980), 1–6; MR 82c:08008.

    Google Scholar 

  29. Baldwin, J. T. andBerman, J. D.,The number of subdirectly irreducible algebras in a variety, Algebra Universalis5 (1975), 379–389; MR 52 #13578.

    Google Scholar 

  30. Baldwin, J. T. andBerman, J. D.,A model theoretic approach to Malcev conditions, J. Symbolic Logic42 (1977), 277–288; MR 58 #207.

    Google Scholar 

  31. Baldwin, J. T. andBerman, J. D.,Definable principal congruence relations: kith and kin, Acta Sci. Math. (Szeged)44 (1982), 255–270; MR 84e:08002.

    Google Scholar 

  32. Baldwin, J. T. andKueker, D. W.,Ramsey quantifiers and the finite cover property, Pacific J. Math.90 (1980), 11–19; MR 83e:03054.

    Google Scholar 

  33. Baldwin, J. T. andMcKenzie, R. N.,Counting models in universal Horn classes, Algebra Universalis15 (1982), 359–384; MR 84m:03042.

    Google Scholar 

  34. Baur, W., Cherlin, G. L., andMacintyre, A.,Totally categorical groups and rings, J. Algebra57 (1979), 407–440; MR 80e:03034.

    Google Scholar 

  35. Benthem, J. van,A note on Jónsson's theorem, Algebra Universalis25 (1988), 391–393; MR 89j:08006.

    Google Scholar 

  36. Bergman, C.,Amalgamation classes of some distributive varieties, Algebra Universalis20 (1985), 143–166; MR 87g:08016.

    Google Scholar 

  37. Berman, J. D.,Algebras with modular lattice reducts and simple subdirectly irreducibles, Discrete Math.11 (1975), 1–8; MR 50 #12841.

    Google Scholar 

  38. Berman, J. D.,A proof of Lyndon's finite basis theorem, Discrete Math.29 (1980), 229–233; MR 81g:03033.

    Google Scholar 

  39. Berman, J. D. andBlok, W. J.,The Fraser-Horn and Apple properties, Trans. Amer. Math. Soc.302 (1987), 427–465; MR 88h:08010.

    Google Scholar 

  40. Bican, L.,Some properties of completely decomposable torsion free abelian groups, Czechoslovak Math. J.19 (94) (1969), 518–533; MR 40 #226.

    Google Scholar 

  41. Blok, W. J., 2ℵ0 varieties of Heyting algebras not generated by their finite members, Algebra Universalis7 (1977), 115–117; MR 55 #5493.

    Google Scholar 

  42. Blok, W. J.,The lattice of varieties of modal algebras is not strongly atomic, Algebra Universalis11 (1980), 285–294; MR 82c:08005.

    Google Scholar 

  43. Blok, W. J.,The lattice of modal logics: an algebraic investigation, J. Symbolic Logic45 (1980), 221–236; MR 81g:03014.

    Google Scholar 

  44. Blok, W. J. andDwinger, P.,Equational classes of closure algebras. I, Nederl. Akad. Wetensch. Proc. Ser. A78 (1975), 189–198; MR 52 #13376.

    Google Scholar 

  45. Blok, W. J. andKöhler, P.,Algebraic semantics for quasiclassical modal logics, J. Symbolic Logic48 (1983), 941–964; MR 85f:03014.

    Google Scholar 

  46. Blok, W. J. andPigozzi, D.,On the structure of varieties with equationally definable principal congruences. I, Algebra Universalis15 (1982), 195–227; MR 85g:08005.

    Google Scholar 

  47. Blok, W. J. andPigozzi, D.,A finite basis theorem for quasivarieties, Algebra Universalis22 (1986), 1–13; MR 87i:08016.

    Google Scholar 

  48. Boffa, M.,Corps λ-clos, C. R. Acad. Sci. Paris Sér. A-B275 (1972), A881-A882; MR 47 #4789.

    Google Scholar 

  49. Bonnet, R.,Very strongly rigid Boolean algebras continuum discrete set condition, countable antichain condition. I, Algebra Universalis11 (1980), 341–364; MR 82c:06025.

    Google Scholar 

  50. Bosbach, B.,Rechtskomplementare Halbgruppen. Axiome, Polynome, Kongruenzen, Math. Z.124 (1972), 273–288; MR 45 #2046.

    Google Scholar 

  51. Brink, C.,Boolean modules, J. Algebra71 (1981), 291–313; MR 83a:06020.

    Google Scholar 

  52. Brink, C.,A representation theorem for ℛ algebras, J. Symbolic Logic (Meeting Abstract)55 (1988), 330.

    Google Scholar 

  53. Brown, K. S.,Finiteness properties of groups. Proceedings of the Northwestern conference on cohomology of groups (Evanston, IL, 1985), J. Pure Appl. Math.44 (1987), 45–75; MR 88m:20110.

    Google Scholar 

  54. Bruns, G. andKalmbach, G.,Varieties of orthomodular lattices, Canad. J. Math.23 (1971), 802–810; MR 44 #6565.

    Google Scholar 

  55. Bruns, G. andKalmbach, G.,Varieties of orthomodular lattices. II, Canad. J. Math.24 (1972), 328–337; MR 45 #3267.

    Google Scholar 

  56. Bryant, R.,The laws of finite pointed groups, Bull. London Math. Soc.14 (1982), 119–123; MR 83d:08010.

    Google Scholar 

  57. Buck, R. C.,A factoring theorem for homomorphisms, Proc. Amer. Math. Soc.2 (1951), 135–137; MR 12-669.

    Google Scholar 

  58. Burris, S.,A note on varieties of unary algebras, Colloq. Math.22 (1971), 195–196; MR 43 #6147.

    Google Scholar 

  59. Burris, S.,Boolean powers, Algebra Universalis5 (1975), 341–360; MR 56 #5393.

    Google Scholar 

  60. Burris, S.,On Baker' s finite basis theorem for congruence distributive varieties, Proc. Amer. Math. Soc.73 (1979), 141–148; MR 80b:08003.

    Google Scholar 

  61. Burris, S. andClark, D.,Elementary and algebraic properties of Arens-Kaplansky constructions, Algebra Universalis22 (1986), 50–93; MR 88a:08016.

    Google Scholar 

  62. Burris, S. andMcKenzie, R.,Decidability and Boolean representations, Mem. Amer. Math. Soc.32 (246) (1981), vii+106 pp.; MR 83j:03024.

    Google Scholar 

  63. Burris, S. andSankappanavar, H. P.,A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.

    Google Scholar 

  64. Burris, S. andWerner, H.,Remarks on Boolean products, Algebra Universalis10 (1980), 333–344; MR 81f:08009.

    Google Scholar 

  65. Butler, M. C. R.,A class of torsion-free abelian groups of finite rank, Proc. London Math. Soc. (3)15 (1965), 680–698; MR 36 #1532.

    Google Scholar 

  66. Carrega, J.-C. andFort, M.,Un problème d'exclusion de treillis orthomodulaires (English summary), C. R. Acad. Sci. Paris Sér. I Math.296 (1983), 485–488; MR 85a:06012.

    Google Scholar 

  67. Chang, C. C. andKeisler, H. J.,Model Theory, North-Holland, New York, 1973.

    Google Scholar 

  68. Cherlin, G. L.,Second order forcing, algebraically closed structures, and large cardinals, Fund. Math.87 (1975), 141–160; MR 51 #12515.

    Google Scholar 

  69. Clark, D. M.,The structure of algebraically and existentially closed Stone and double Stone algebras, J. Symbolic Logic54 (1989), 363–375; MR 90h:06005.

    Google Scholar 

  70. Clark, D. M. andKrauss, P. H.,Para primal algebras, Algebra Universalis6 (1976), 165–192; MR 54 #10105.

    Google Scholar 

  71. Clark, D. M. andKrauss, P. H.,Topological quasivarieties, Acta Sci. Math. (Szeged)47 (1984), 3–39; MR 86g:08009.

    Google Scholar 

  72. Cohn, L. andComer, S. D.,An abstract theory of invertible relations, Algebra Universalis25 (1988), 131–146; MR 89h:06001.

    Google Scholar 

  73. Cohn, P. M.,Progress in free associative algebras, Israel J. Math.19 (1974), 109–151; MR 52 #460.

    Google Scholar 

  74. Cohn, P. M.,Universalis Agebra, revised ed., Mathematics and its Applications, Vol. 6, Reidel, Dordrecht, 1981.

    Google Scholar 

  75. Comer, S. D.,Finite inseparability of some theories of cylindrification algebras, J. Symbolic Logic34 (1969), 171–176; MR 42 #7508.

    Google Scholar 

  76. Comer, S. D.,A sheaf-theoretic duality theory for cylindric algebras, Trans. Amer. Math. Soc.169 (1972), 75–87; MR 46 #7023.

    Google Scholar 

  77. Comer, S. D.,Combinatorial aspects of relations, Algebra Universalis18 (1984), 77–94; MR 85h:08008.

    Google Scholar 

  78. Comer, S. D.,A new foundation for the theory of relations, J. Symbolic Logic (Meeting Abstract)49 (1984), 687–688.

    Google Scholar 

  79. Comer, S. D.,Galois theory for cylindric algebras and its applications, Trans. Amer. Math. Soc.286 (1984), 771–785; MR 85m:03044.

    Google Scholar 

  80. Corner, A. L. S.,Three examples on hopficity in torsion-free abelian groups, Acta Math. Acad. Sci. Hungar.16 (1965), 303–310; MR 32 #1253.

    Google Scholar 

  81. Csakany, B.,Characterizations of regular varieties, Acta Sci. Math. (Szeged)31 (1970), 187–189; MR 42 #7578.

    Google Scholar 

  82. Csakany, B. andSchmidt, E. T.,Translations of regular algebras, Acta Sci. Math. (Szeged)31 (1970), 157–160; MR 42 #5882.

    Google Scholar 

  83. Cusin, R. andPabion, J.-F.,Structures génériques associées à une classe de théories, C. R. Acad. Sci. Paris Sér. A-B272 (1971), A1620-A1623; MR 44 #47.

    Google Scholar 

  84. Czedli, G.,On the lattice of congruence varieties of locally equational classes, Acta Sci. Math. (Szeged)41 (1979), 39–45; MR 81i:08010.

    Google Scholar 

  85. Czedli, G. andLenkehegyi, A.,On congruence n-distributivity of ordered algebras, Acta Math. Hungar.41 (1983), 17–26; MR 85b:06015.

    Google Scholar 

  86. Czedli, G. andLenkehegyi, A.,On classes of ordered algebras and quasiorder distributivity, Acta Sci. Math. (Szeged)46 (1983), 41–54; MR 85k:08008.

    Google Scholar 

  87. Czelakowski, J. andDziobiak, W.,Congruence distributive quasivarieties whose finitely subdirectly irredicible members form a universal class, Algebra Universalis27 (1990), 128–149; MR 91i:08013.

    Google Scholar 

  88. Davey, B. A.,Dualities for equational classes of Brouwerian algebras and Heyting algebras, Trans. Amer. Math. Soc.221 (1976), 119–146; MR 54 #192.

    Google Scholar 

  89. Davey, B. A.,Weak injectivity and congruence extension in congruence-distributive equational classes, Canad. J. Math.29 (1977), 449–459; MR 56 #217.

    Google Scholar 

  90. Davey, B. A.,Topological duality for prevarieties of universal algebras, Studies in foundations and combinatorics pp. 61–99, Advances in Math. Suppl. Stud., 1, Academic Press, New York (1978), 61–99; MR 81b:54010.

    Google Scholar 

  91. Davey, B. A., Duffus, D., Quackenbush, R. W. andRival, I.,Exponents of finite simple lattices, J. London Math. Soc. (2)17 (1978), 203–221; MR 57 #12308.

    Google Scholar 

  92. Davey, B. A. andMcCarthy, M. J.,A representation theory for the variety generated by the triangle, Acta Math. Sci. Hungar.38 (1981), 241–255; MR 83f:06014.

    Google Scholar 

  93. Davey, B. A. andRival, I.,Exponents of lattice-ordered algebras, Algebra Universalis14 (1982), 87–98; MR 83m:06007.

    Google Scholar 

  94. Davey, B. A. andSands, B.,An application of Whitman's condition to lattices with no infinite chains, Algebra Universalis7 (1977), 171–178; MR 55 #7860.

    Google Scholar 

  95. Davey, B. A. andWerner, H.,Injectivity and Boolean powers, Math. Z.166 (1979), 205–223; MR 80b:08004.

    Google Scholar 

  96. Day, A.,A characterization of modularity for congruence lattices of algebras, Canad. Math. Bull.12 (1969), 167–173; MR 40 #1317.

    Google Scholar 

  97. Day, A.,Injectives in non-distributive equational classes of lattices are trivial, Arch. Math. (Basel)21 (1970), 113–115; MR 43 #122.

    Google Scholar 

  98. Day, A.,Injectivity in equational classes of algebras, Canad. J. Math.24 (1972), 209–220; MR 45 # 145.

    Google Scholar 

  99. Day, A.,The congruence extension property and subdirectly irreducible algebras — an example, Algebra Universalis3 (1973), 229–237; MR 50 #2027.

    Google Scholar 

  100. Day, A.,Splitting algebras and a weak notion of projectivity, Algebra Universalis5 (1975), 153–162; MR 52 #10546.

    Google Scholar 

  101. Day, A.,Lattice conditions implying congruence modularity, Algebra Universalis6 (1976), 291–301; MR 55 #5491.

    Google Scholar 

  102. Day, A., Hermann, C. andWille, R.,On modular lattices with four generators, Algebra Universalis2 (1972), 317–323; MR 47 #4879.

    Google Scholar 

  103. Day, A. andFreese, R. A.,A characterization of identities implying congruence modularity. I, Canad. J. Math.32 (1980), 1140–1167; MR 82b:08009.

    Google Scholar 

  104. Denecke, K.-D.,Implikative BCK-Algebren, Z. Math. Logik Grundlag. Math.26 (1980), 547–554; MR 82h:06012.

    Google Scholar 

  105. Denecke, K.-D.,Die endlichen, subdirekt irreduziblen Elemente der Varietät der beschränkten kommutativen BCK-Algebren, Z. Math. Logik Grundlag. Math.27 (1981), 265–272; MR 82f:06018.

    Google Scholar 

  106. Denecke, K.-D.,Algebraische Charakterisierungen präprimaler Algebren, Z. Math. Logik Grundlag. Math.30 (1984), 455–464; MR 86b:08003.

    Google Scholar 

  107. Dilworth, R. P.,Aspects of distributivity, Algebra Universalis18 (1984), 4–17; MR 86b:06004.

    Google Scholar 

  108. Douwen, E. K. van,A compact space with a measure that knows which sets are homeomorphic, Advances in Math.52 (1984), 1–33; MR 85k:28018.

    Google Scholar 

  109. Dwinger, P.,Full and fundamental partial orderings, Proc. Kon. Nederl. Akad. Wetensch. Ser. A92 (1989), 167–173; MR 90f:06004.

    Google Scholar 

  110. Dziobiak, W.,A variety generated by a finite algebra with 2 ℵ0 subvarieties, Algebra Universalis13 (1981), 148–156; MR 82k:08006.

    Google Scholar 

  111. Ehrlich, P.,An alternative construction of Conway's ordered field No, Algebra Universalis25 (1988), 7–16; MR 89d:04004a. Erratum ibid.25 (1988), 233; MR 89d:04004b.

    Google Scholar 

  112. Eklof, P. C.,Homogeneous universal modules, Math. Scand.29 (1971), 187–196; MR 47 #3168.

    Google Scholar 

  113. Eklof, P. C.,Algebraic closure operators and strong amalgamation bases, Algebra Universalis4 (1974), 89–98; MR 52 #5521.

    Google Scholar 

  114. Ensey, R. J.,Isomorphism invariants for Abelian groups modulo bounded groups, Pacific J. Math.24 (1968), 71–91; MR 46 #5217.

    Google Scholar 

  115. Evans, T. andHartman, P. A.,Varieties of lattice-ordered algebras, Algebra Universalis17 (1983), 376–392; MR 85i:06026.

    Google Scholar 

  116. Fajtlowicz, S., Holsztynski, W., Mycielski, J. andWeglorz, B.,On powers of bases in some compact algebras, Colloq. Math.19 (1968), 43–46; MR 37 #127.

    Google Scholar 

  117. Faticoni, T. G.,Semilocal localizations of rings and subdirect decompositions of modules, J. Pure Appl. Algebra46 (1987), 137–163; MR 88h:16002.

    Google Scholar 

  118. Feizullaev, R. B., Bairamov, R. A. andDzhabbarzade, V.,Simplified recognition of the functional completeness of an algebra with restrictions on a generated variety, Doklady Akad. Nauk SSSR302 (1988), 37–40; MR 90g:08002.

    Google Scholar 

  119. Fichtner, K.,Distributivity and modularity in varieties of algebras, Acta Sci. Math. (Szeged)33 (1972), 343–348; MR 47 #8399.

    Google Scholar 

  120. Fleischer, I.,A note on universal homogeneous models, Math. Scand.79 (1966), 183–184; MR 35 #4095.

    Google Scholar 

  121. Foldes, S.,Symmetries of directed graphs and the Chinese Remainder Theorem, J. Combin. Theory Ser. B28 (1980), 18–25; MR 81h:05075.

    Google Scholar 

  122. Forrest, W. K.,Model theory for universal classes with the amalgamation property: a study in the foundations of model theory and algebra, Ann. Math. Logic11 (1977), 263–366; MR 58 #202.

    Google Scholar 

  123. Foster, A. L. andPixley, A. F.,Algebraic and equational semi-maximality;equational spectra. II, Math. Zeitschr.94 (1966), 122–133; MR 35 #1528.

  124. Foster, A. L. andPixley, A. F.,Total algebras and weak independence. II, Math. Z.125 (1972), 271–284; MR 45 #5060.

    Google Scholar 

  125. Fraïssé,Aspects de la théorie des relations, de 1940 á 1972, J. Symbolic Logic (Meeting Abstract)39 (1974), 375–378.

    Google Scholar 

  126. Freese, R. A.,Varieties generated by modular lattices of width four, Bull. Amer. Math. Soc.78 (1972), 447–450; MR 44 #6567.

    Google Scholar 

  127. Freese, R. S.,The structure of modular lattices of width four with applications to varieties of lattices, Mem. Amer. Math. Soc.9 (181) (1977), vii + 91 pp.; MR 56 #197.

  128. Freese, R. S.,The variety of modular lattices is not generated by its finite members, Trans. Amer. Math. Soc.255 (1979), 277–300; MR 81g:06003.

    Google Scholar 

  129. Freese, R. S.,On Jónsson's theorem, Algebra Universalis18 (1984), 70–76; MR 86e:08007.

    Google Scholar 

  130. Freese, R. andMcKenzie, R.,Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc.264 (1981), 419–430; MR 83d:08012a.

    Google Scholar 

  131. Freese, R. andMcKenzie, R.,Commutator theory for congruence modular varieties, Lecture Note Series Vol. 125, London Math. Soc., London, 1987; MR 89c:08006.

    Google Scholar 

  132. Freese, R. S. andNation, J. B.,Congruence lattices of semilattices, Pacific J. Math.49 (1973), 51–58; MR 48 #10916.

    Google Scholar 

  133. Freese, R. andNation, J. B., 3,3lattice inclusions imply congruence modularity, Algebra Universalis7 (1977), 191–194; MR 55 #7870.

    Google Scholar 

  134. Freyd, P.,Algebra valued functors in general and tensor products in particular, Colloq. Math.14 (1966), 89–106; MR 33 #4116.

    Google Scholar 

  135. Fried, E.,Weakly associative lattices with congruence extension property, Algebra Universalis4 (1974), 151–162; MR 51 #12634.

    Google Scholar 

  136. Fried, E.,Equational classes which cover the class of distributive lattices, Acta Sci. Math. (Szeged)37 (1975), 37–40; MR 52 #2993.

    Google Scholar 

  137. Fried, E.,A note on congruence extension property, Acta Sci. Math. (Szeged)40 (1978), 261–263; MR 80a:08005.

    Google Scholar 

  138. Fried, E.,Congruence-lattices of discrete RUCS varieties, Algebra Universalis19 (1984), 177–196; MR 85j:08002.

    Google Scholar 

  139. Fried, E., Grätzer, G. andQuackenbush, R.,Uniform congruence schemes, Algebra Universalis10 (1980), 176–188; MR 81m:08013.

    Google Scholar 

  140. Fried, E. andGrätzer, G.,A non-associative extension of the class of distributive lattices, Pacific J. Math.49 (1973), 59–78; MR 49 #4884.

    Google Scholar 

  141. Fried, E. andGrätzer, G.,Strong amalgamation of distributive lattices, J. Algebra128 (1990), 446–455; MR 91a:06013.

    Google Scholar 

  142. Fried, E. andKiss, E. W.,Connections between congruence lattices and polynomial properties, Algebra Universalis17 (1983), 227–262; MR 85m:08009.

    Google Scholar 

  143. Froemke, J. andQuackenbush, R. W.,The spectrum of an equational class of groupoids, Pacific J. Math.58 (1975), 381–386; MR 52 #5522.

    Google Scholar 

  144. Fuchs, L.,On the cancellation of modules in direct sums over Dedekind domains, Nederl. Akad. Wetensch. Proc. Ser. A74 (1971), 163–169; MR 44 #6666.

    Google Scholar 

  145. Fuchs, L.,Infinite Abelian Groups, Vol. II, Academic Press, New York, 1973.

    Google Scholar 

  146. Fuchs, L. andLoonstra, F.,Note on direct decompositions of torsion-free abelian groups, Comm. Math. Helv.46 (1971), 409–413; MR 46 #269.

    Google Scholar 

  147. Fuchs, L. andViljoen, G.,Quasi-direct decompositions of torsion-free abelian groups of infinite rank, Math. Scand.33 (1973), 205–212; MR 50 #10116.

    Google Scholar 

  148. Funayama, N. andNakayama, T.,On the distributivity of a lattice of lattice congruences, Proc. Imp. Acad. Tokyo18 (1942), 553–554; MR 7-236.

    Google Scholar 

  149. Gale, D. andKlee, V.,Unique reducibility of subsets of commutative topological groups and semigroups, Math. Scand.36 (1975), 174–198; MR 52 #8324.

    Google Scholar 

  150. Galler, B. A.,Cylindric and polyadic algebras, Proc. Amer. Math. Soc.8 (1957), 176–183; MR 19-113.

    Google Scholar 

  151. García, O. C. andTaylor, W. F.,The lattice of interpretability types of varieties, Mem. Amer. Math. Soc.50 (305) (1984), v + 125 pp.; MR 86e:08006a.

    Google Scholar 

  152. García, O. C. andde la Pena, J. A.,Lattices with a finite Whitman cover, Algebra Universalis16 (5) (1983), 126–128 (186–194); MR 84g:06010.

    Google Scholar 

  153. Gardiner, A. D.,Homogeneity conditions in graphs, J. Combin. Theory Ser. B24 (1978), 301–310; MR 80b:05034.

    Google Scholar 

  154. GeorGESCU, G.,On the homogeneous-universal Lukasiewicz algebras, Rev. Roumaine Math. Pures Appl.23 (1978), 29–32; MR 58 #5175.

    Google Scholar 

  155. Gerhard, J. A.,The lattices of equational classes of idempotent semigroups, J. Algebra15 (1970), 195–224; MR 41 #8552.

    Google Scholar 

  156. Gierz, G. andKeimel, K.,Topologische Darstellung von Verbänden, Math. Z.150 (1976), 83–99; MR 55 #2694.

    Google Scholar 

  157. Gillam, D. W. H.,A concrete representation theorem for intervals of multirelations, Z. Math. Logik Grundlag. Math.24 (1978), 463–466; MR 80a:08004.

    Google Scholar 

  158. Giri, R. D.,On residual varieties of groups, Proc. Indian Acad. Sci. Math. Sci.93 (1984), 53–58; MR 87d:20040.

    Google Scholar 

  159. GiVANT, S.,Universal Horn classes categorical or free in power, Ann. Math. Logic15 (1978), 1–53; MR 80c:03032.

    Google Scholar 

  160. Givant, S.,The number of non-isomorphic denumerable models of certain universal Horn classes, Algebra Universalis13 (1981), 56–68; MR 83f:03029.

    Google Scholar 

  161. Givant, S.,A portrait of Alfred Tarski, The Mathematical Intelligencer13 (4) (Summer, 1991), 16–32.

    Google Scholar 

  162. Goldblatt, R.,Varieties of complex algebras, Ann. Pure Appl. Logic44 (1989), 173–242; MR 91d:08005.

    Google Scholar 

  163. Goldie, A. W.,On direct decompositions. I, Proc. Camb. Phil. Soc.48 (1952), 1–22; MR 14-9.

    Google Scholar 

  164. Goldie, A. W.,On direct decompositions. II, Proc. Camb. Phil. Soc.48 (1952), 23–24; MR 14-10.

    Google Scholar 

  165. Goodearl, K. R.,Power-cancellation of groups and modules, Pacific J. Math.64 (1976), 387–411; MR 56 #8630.

    Google Scholar 

  166. Goranko, V.,Definability in a modal language with necessity and sufficiency, C. R. Acad. Bulgar. Sci.41 (1988), 9–11; MR 89h:03025.

    Google Scholar 

  167. Gould, M. I.,Automorphism and subalgebra structure in algebras of finite type, Algebra Universalis2 (1972), 369–374; MR 47 #6592.

    Google Scholar 

  168. Gould, M. I.,Automorphism groups of algebras of finite type, Canad. J. Math.24 (1972), 1065–1069; MR 47 #109.

    Google Scholar 

  169. Gould, M., Morel, A. C. andTsinakis, C.,Cofinality of algebras, Algebra Universalis22 (1986), 253–278; MR 88a:08002.

    Google Scholar 

  170. Graf, S.,A selection theorem for Boolean correspondences, J. Reine Angew. Math.295 (1977), 169–186; MR 57 #16156.

    Google Scholar 

  171. Grätzer, G.,A generalization of Stone's representation theorem for Boolean algebras, Duke Math. J.30 (1963), 469–474; MR 27 #3568.

    Google Scholar 

  172. Grätzer, G.,Two Mal'cev-type conditions in universal algebra, J. Combin. Theory8 (1970), 334–342; MR 43 #4748.

    Google Scholar 

  173. Grätzer, G.,Universal Algebra, 2nd. ed., Springer-Verlag, New York, 1979.

    Google Scholar 

  174. Grätzer, G. andLakser, H.,The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation, Trans. Amer. Math. Soc.156 (1971), 343–358; MR 43 #124.

    Google Scholar 

  175. Grätzer, G., Jónsson, B. andLakser, H.,The amalgamation property in equational classes of modular lattices, Pacific J. Math.45 (1973), 507–524; MR 51 #3014.

    Google Scholar 

  176. Grätzer, G. andHuhn, A. P.,Amalgamated free product of lattices. I. The common refinement property, Acta Sci. Math. (Szeged)44 (1982), 53–66; MR 83i:06008.

    Google Scholar 

  177. Grätzer, G. andKelly, D.,Products of lattice varieties, Algebra Universalis21 (1985), 33–45; MR 87g:06023.

    Google Scholar 

  178. DE Groot, J. andMaurice, M. A.,On the existence of rigid compact ordered spaces, Proc. Amer. Math. Soc.19 (1968), 844–846; MR 37 #3531.

    Google Scholar 

  179. Guillaume, M.,Calculs de conséquences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs, C. R. Acad. Sci. Paris Sér. A-B247 (1958), 1542–1544; MR 21 #654.

    Google Scholar 

  180. Gumm, H.-P.,Congruence-equalities and Mal'cev conditions in regular equational classes, Acta Sci. Math. (Szeged)39 (1977), 265–272; MR 58 #5427.

    Google Scholar 

  181. Gumm, H.-P.,Algebras in permutable varieties: geometrical properties of affine algebras, Algebra Universalis9 (1979), 8–34; MR 80d:08010.

    Google Scholar 

  182. Gumm, H.-P.,An easy way to the commutator in modular varieties, Arch. Math. (Basel)34 (1980), 220–228; MR 81m:08015.

    Google Scholar 

  183. Gumm, H.-P.,Congruence modularity is permutability composed with distributivity, Arch. Math. (Basel)56 (1981), 569–576; MR 82j:08009.

    Google Scholar 

  184. Gumm H.-P.,Geometrical methods in congruence modular algebras, Mem. Amer. Math. Soc.45 (386) (1983), vii + 79 pp.; MR 85e:08012.

    Google Scholar 

  185. Hagemann, J. andHermann, C.,A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. Math. (Basel)32 (1979), 234–245; MR 80j:08006.

    Google Scholar 

  186. Haimo, F.,Closed hulls in infinite symmetric groups, Trans. Amer. Math. Soc.180 (1973), 475–484; MR 48 #429.

    Google Scholar 

  187. Hall, T. E.,Amalgamation for inverse and generalized inverse-semigroups, Trans. Amer. Math. Soc.310 (1988), 313–323; MR 89j:20065.

    Google Scholar 

  188. Hanf, W.,On some fundamental problems concerning isomorphism of Boolean algebras, Math. Scand.5 (1957), 205–217; MR 21 #7167.

    Google Scholar 

  189. Hansoul, G.,A duality for Boolean algebras with operators, Algebra Universalis17 (1983), 34–49; MR 85a:06015.

    Google Scholar 

  190. Hauptfleisch, G. J. andLoonstra, F.,On modules over rings of type (n, k), Acta Math. Acad. Sci. Hungar.31 (1978), 15–19; MR 57 #12603. Erratum ibid35 (1980), 293; MR 82b: 16032.

    Google Scholar 

  191. Hechler, S. H.,Large superuniversal metric spaces, Israel J. Math.14 (1973), 115–148; MR 48 #2967.

    Google Scholar 

  192. Henkin, L.,Some interconnections between modern algebra and mathematical logic, Trans. Amer. Math. Soc.74 (1953), 410–427; MR 14-1052.

    Google Scholar 

  193. Henkin, L.,Extending Boolean operations, Pacific J. Math.32 (1970), 723–752; MR 41 #3345.

    Google Scholar 

  194. Henkin, L., Monk, J. D. andTarski, A.,Representable cylindric algebras, Ann. Pure and Appl. Math.31 (1986), 23–60; MR 87h:03110.

    Google Scholar 

  195. Henson, C. W.,A family of countable homogeneous graphs, Pacific J. Math.38 (1971), 69–83; MR 46 #3377.

    Google Scholar 

  196. Henson, C. W.,Countable homogeneous relational structures and ℵ 0-categorical theories, J. Symbolic Logic37 (1972), 494–500; MR 48 #94.

    Google Scholar 

  197. Hermann, C.,S-verklebte Summen von Verbänden, Math. Z.130 (1973), 255–274; MR 49 #7195.

    Google Scholar 

  198. Herrmann, C.,Affine algebras in congruence modular varieties, Acta Sci. Math. (Szeged)41 (1979), 119–125; MR 80h:08011.

    Google Scholar 

  199. Hickin, K.,Complete universal locally finite groups, Trans. Amer. Math. Soc.239 (1978), 213–277; MR 58 #902.

    Google Scholar 

  200. Hickin, K.,Universal locally finite central extensions of groups, Proc. London Math. Soc. (3)52 (1986), 53–72; MR 87a:20031.

    Google Scholar 

  201. Hickin, K. andPlotkin, J. M.,Boolean powers: direct decomposition and isomorphism types, Trans. Amer. Math. Soc.265 (1981), 607–621; MR 82e:08005.

    Google Scholar 

  202. Hickman, R.,Join algebras, Comm. Algebra8 (1980), 1653–1685; MR 81k:06006.

    Google Scholar 

  203. Hirshon, R.,On cancellation in groups, Amer. Math. Monthly76 (1969), 1037–1039; MR 40 #240.

    Google Scholar 

  204. Hirshon, R.,A group with constant growth rate, Amer. Math. Monthly90 (1983), 312–317; MR 84m:20039.

    Google Scholar 

  205. Hobby, D.,Finite fixed point algebras are subdiagonalisable, Algebra Universalis25 (1988), 210–222; MR 89h:03114.

    Google Scholar 

  206. Hobby, D. andMcKenzie, R.,The structure of finite algebras, Contemporary Math., Vol. 76, Amer. Math. Soc., Providence, 1988; MR 89m:08001.

    Google Scholar 

  207. Hong, D.-X.,Covering relations among lattice varieties, Pacific J. Math.40 (1972), 575–603; MR 46 #5195.

    Google Scholar 

  208. Hsueh, Y.-C.,Lattices of width three generate a nonfinitely based variety, Algebra Universalis15 (1983), 132–134; MR 85b:06008.

    Google Scholar 

  209. Hu, T.-K.,On the fundamental subdirect factorization theorems of primal algebra theory, Math. Z.112 (1969), 154–162; MR 40 #1321.

    Google Scholar 

  210. Hu, T.-K. andKelenson, P.,Independence and direct factorization of universal algebras, Math. Nachr.51 (1971), 83–99; MR 48 #3843.

    Google Scholar 

  211. Huhn, A. P.,Schwach distributive Verbände. I, Acta Sci. Math. (Szeged)33 (1972), 297–305; MR 49 #2479.

    Google Scholar 

  212. Hung, H. H.,The amalgamation property for G-metric spaces, Proc. Amer. Math. Soc.37 (1973), 53–58; MR 47 #2560.

    Google Scholar 

  213. Hung, H. H. andNegrepontis, S., Spaces homeomorphic to (2α)α II. Trans. Amer. Math. Soc.188 (1974), 1–30; MR 51 #6690.

    Google Scholar 

  214. Idziak, K.,Undecidability of Brouwerian semilattices, Algebra Universalis22 (1986), 298–301; MR 88a:03103.

    Google Scholar 

  215. Idziak, P. M.,Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties, Algebra Universalis25 (1988), 365–383; MR 89k:08005.

    Google Scholar 

  216. Idziak, P. M.,The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences, Algebra Universalis26 (1989), 33–47; MR 90b:08013.

    Google Scholar 

  217. Iskander, A. A.,Extensions of algebraic systems, Trans. Amer. Math. Soc.281 (1984), 309–327; MR 85h:08012.

    Google Scholar 

  218. Ježek, J.,Realization of small concrete categories by algebras and infective homomorphisms, Colloq. Math.29 (1974), 61–69; MR 49 #4906.

    Google Scholar 

  219. Ježek, J.,Intervals in the lattice of varieties, Algebra Universalis6 (1976), 147–158; MR 54 #7354.

    Google Scholar 

  220. Ježek, J. andMcNulty, G. F.,Bounded and well-placed theories in the lattice of equational theories, Algebra Universalis26 (1989), 311–331.

    Google Scholar 

  221. Ježek, J. andTrnková, V.,Varieties of groupoids with comprehensive free products, Algebra Universalis22 (1986), 142–153; MR 82c:20068.

    Google Scholar 

  222. Johnson, J. S.,Axiom systems for first order logic with finitely many variables, J. Symbolic Logic38 (1973), 576–578; MR 49 #8847.

    Google Scholar 

  223. Johnstone, P. T.,When is a variety a topos?, Algebra Universalis21 (1985), 198–212; MR 87j: 18008.

    Google Scholar 

  224. Johnstone, P. T.,Collapsed toposes and Cartesian closed varieties, J. Algebra129 (1990), 446–480; MR 91c:18007.

    Google Scholar 

  225. Kaiser, K.,Über eine Verallgemeinerung der Robinsonschen Modellvervollständigung. I, Z. Math. Logik Grundlag. Math.15 (1969), 37–48; MR 39 #48.

    Google Scholar 

  226. Kaiser, K.,Über eine Verallgemeinerung der Robinsonschen Modellvervollständigung. II. Abgeschlossene Algebren, Z. Math. Logik Grundlag. Math.15 (1969), 123–134; MR 41 #1520.

    Google Scholar 

  227. Kamara, M.,Zur Konstruktion vollständiger Poläritätsverbände, J. Reine Angew. Math.299/300 (1978), 280–286; MR 58 #416.

    Google Scholar 

  228. Kamara, M.,Nichtdistributive, modulare Polaritätsverbände, Arch. Math. (Basel)39 (1982), 126–133; MR 84b:06009.

    Google Scholar 

  229. Katriňák, T.,Primitive Klassen von modularen S-algebren, J. Reine Angew. Math.261 (1973), 55–70; MR 52 #13542.

    Google Scholar 

  230. Katriňák, T.,Varieties of modular p-algebras, Colloq. Math.29 (1974), 179–187; MR 48 # 10926.

    Google Scholar 

  231. Katriňák, T.,Splitting p-algebras, Algebra Universalis18 (1984), 199–224; MR 85k:06007.

    Google Scholar 

  232. Keimel, K. andWerner, H.,Stone duality for varieties generated by quasi-primal algebras, Mem. Amer. Math. Soc.1974 (148) (1974), pp. 59–85; MR 50 #12861.

    Google Scholar 

  233. Keisler, H. J.,Some model theoretic results for ω-logic, Israel J. Math.4 (1966), 249–261; MR 36 #4974.

    Google Scholar 

  234. Keisler, H. J.,Universal homogeneous Boolean algebras, Mich. Math. J.13 (1966), 129–132; MR 33 #3968.

    Google Scholar 

  235. Keisler, H. J. andMorley, M. D.,On the number of homogeneous models of a given power, Israel. J. Math.5 (1967), 73–78; MR 36 #6274.

    Google Scholar 

  236. Kelly, D.,Basic equations: Word problems and Malcev conditions, Notices Amer. Math. Soc.20 (1973), A-54.

    Google Scholar 

  237. Ketonen, J.,The structure of countable Boolean algebras, Ann. of Math108 (1978), 41–89; MR 58 #10647.

    Google Scholar 

  238. Knoebel, A.,The equational classes generated by single functionally precomplete algebras, Mem. Amer. Math. Soc.57 (332) (1985), v + 83 pp.; MR 87h:08001.

  239. Köhler, P.,Brouwerian semilattices, Trans. Amer. Math. Soc.268 (1981), 103–126; MR 82i:06005.

    Google Scholar 

  240. Kollar, J.,Automorphism groups of subalgebras: a concrete characterization, Acta Sci. Math. (Szeged)40 (1978), 291–295; MR 80d:08005.

    Google Scholar 

  241. Kollar, J.,Injectivity and congruence extension properties in a congruence distributive equational class, Algebra Universalis10 (1980), 21–26; MR 81c:08014.

    Google Scholar 

  242. Koubek, V.,Towards minimal binding varieties of lattices, Canad. J. Math.36 (1984), 263–285; MR 85m:06016.

    Google Scholar 

  243. Kozhukhov, S. F.,Torsion-free abelian groups of finite rank without nilpotent endomorphisms, Siber. Math. J.29 (1988), 45–53; MR 89h:20077.

    Google Scholar 

  244. Kozhukhov, S. F.,Finite automorphism groups of torsion-free abelian groups of finite rank, Math. USSR-Izv.52 (1988), 501–521; MR 89h:20078.

    Google Scholar 

  245. Kramer, R. andMaddux, R.,Equations not preserved by complete extensions, Algebra Universalis15 (1982), 86–89; MR 83i:03098.

    Google Scholar 

  246. Krauss, P. H.,On primal algebras, Algebra Universalis2 (1972), 62–67; MR 46 #5213.

    Google Scholar 

  247. Krauss, P. H.,Extending congruence relations, Proc. Amer. Math. Soc.31 (1972), 517–520; MR 44 #2688.

    Google Scholar 

  248. Krauss, P. H.,On quasi primal algebras, Math. Z.134 (1973), 85–89; MR 48 #10952.

    Google Scholar 

  249. Krauss, P. H.,Homogeneous universal models of universal theories, Z. Math. Logik Grundlag. Math.23 (1977), 415–426; MR 80g:03028.

    Google Scholar 

  250. Krauss, P. H. andClark, D. M.,Global subdirect products, Mem. Amer. Math. Soc.17 (210) (1979), ii+ 109 pp.; MR 80b:08001.

  251. Kruse, R. L.,Identities satisfied by a finite ring, J. Algebra26 (1973), 298–318; MR 48 #4025.

    Google Scholar 

  252. LaGrange, R.,On a problem of Sikorski in the set representability of Boolean algebras, Colloq. Math.30 (1974), 213–218; MR 51 #5439.

    Google Scholar 

  253. Lachlan, A. H.,Countable homogeneous tournaments, Trans. Amer. Math. Soc.284 (1984), 431–461; MR 85i:05118.

    Google Scholar 

  254. Lakser, H.,The structure of pseudocomplemented distributive lattices, I, Trans. Amer. Math. Soc.156 (1971), 335–342; MR 43 #123.

    Google Scholar 

  255. Lampe, W. A.,A property of the lattice of equational theories, Algebra Universalis23 (1986), 61–69; MR 88a:08014.

    Google Scholar 

  256. Lampe, W. A. andMyers, D.,Elementary properties of free extensions, Algebra Universalis11 (1980), 269–284; MR 82j:03033.

    Google Scholar 

  257. Landolt, W. J. andWhaley, T. P.,Relatively free implicative semilattices, Algebra Universalis4 (1974), 166–184; MR 50 #9720.

    Google Scholar 

  258. Lawrence, J.,Boolean powers of groups, Proc. Amer. Math. Soc.82 (1981), 512–516; MR 82f:06023.

    Google Scholar 

  259. Lee, J. G.,Almost distributive lattice varieties, Algebra Universalis21 (1985), 280–304; MR 87i:06019.

    Google Scholar 

  260. Lee, K. B.,Equational classes of distributive pseudo-complemented lattices, Canad. J. Math.22 (1970), 881–891; MR 42 #151.

    Google Scholar 

  261. Los, J.,Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, Mathematical interpretation of formal systems, North Holland, Amsterdam, 1955, 98–113; MR 17-700.

    Google Scholar 

  262. Los, J.,Direct sums in general algebra, Colloq. Math.14 (1966), 33–38; MR 35 #1530.

    Google Scholar 

  263. Lyndon, R. C.,The representation of relational algebras, Ann. of Math. (2)51 (1950), 707–729; MR 12-237.

    Google Scholar 

  264. Lyndon, R. C.,Identities in two-valued calculi, Trans. Amer. Math. Soc.71 (1951), 457–465; MR 13-422.

    Google Scholar 

  265. Lyndon, R. C.,Identities infinite algebras, Proc. Amer. Math. Soc.5 (1954), 8–9; MR 15-676.

    Google Scholar 

  266. Lyndon, R. C.,The representation of relation algebras. II, Ann. of Math. (2)63 (1956), 294–307; MR 18-106.

    Google Scholar 

  267. Lyndon, R. C.,Properties preserved under homomorphism, Pacific J. Math.9 (1959), 143–154; MR 21 #7157.

    Google Scholar 

  268. Lyndon, R. C.,Properties preserved under algebraic constructions, Bull. Amer. Math. Soc.65 (1959), 287–299; MR 22 #2549.

    Google Scholar 

  269. MacLane, S.,Duality for groups, Bull. Amer. Math. Soc.56 (1950), 485–516; MR 14-133.

    Google Scholar 

  270. Maczynski, M. J.,A property of retracts of α +-homogeneous, α +-universal Boolean algebras, Bull. Acad. Polon. Sci. Math. Ser. Sci. Math. Astron. Phys.14 (1966), 607–608; MR 34 #7423.

    Google Scholar 

  271. Maddux, R.,Some sufficient conditions for the representability of relation algebras, Algebra Universalis5 (1978), 162–172; MR 57 #205.

    Google Scholar 

  272. Maddux, R.,Some varieties containing relation algebras, Trans. Amer. Math. Soc.272 (1982), 501–526; MR 84a:03079.

    Google Scholar 

  273. Makkai, M.,A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties, Algebra Universalis3 (1973), 174–181; MR 50 #4444.

    Google Scholar 

  274. Mal'cev, A. I.,On the general theory of algebraic systems (Russian), Mat. Sb. (N.S.)35 (77) (1954), 3–20; MR 16-440.

    Google Scholar 

  275. Marczewski, E.,Independence in abstract algebras. Results and problems, Colloq. Math.14 (1966), 169–188; MR 32 #2361.

    Google Scholar 

  276. McKenzie, R.,Equational bases for lattice theories, Math. Scand.27 (1970), 24–38; MR 43 #118.

    Google Scholar 

  277. McKenzie, R.,Representations of integral relation algebras, Mich. Math. J17 (1970), 279–287; MR 44 #3944.

    Google Scholar 

  278. McKenzie, R.,A method for obtaining refinement theorems, with an application to direct products of semigroups, Algebra Universalis2 (1972), 324–338; MR 49 #2493.

    Google Scholar 

  279. McKenzie, R.,Equational bases and non-modular lattice varieties, Trans. Amer. Math. Soc.174 (1972), 1–43; MR 47 #1696.

    Google Scholar 

  280. McKenzie, R.,Paraprimal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties, Algebra Universalis8 (1978), 336–348; MR 57 #9634.

    Google Scholar 

  281. McKenzie, R.,Finite equational bases for congruence modular varieties, Algebra Universalis24 (1987), 224–250; MR 89j:08007.

    Google Scholar 

  282. McKenzie, R., McNulty, G. F. andTaylor, W.,Algebras, Lattices, Varieties, Vol. 1, Wadsworth and Brooks/Cole, Belmont, 1987.

    Google Scholar 

  283. McNulty, G. F.,Structural diversity in the lattice of equational theories, Algebra Universalis13 (1981), 271–292; MR 83a:08014.

    Google Scholar 

  284. McNulty, G. F.,Covering in the lattice of equational theories and some properties of term finite theories, Algebra Universalis15 (1982), 115–125; MR 83j:08010.

    Google Scholar 

  285. Meskhi, V. Yu.,Critical modal logics containing the Brouwerian axioms, Mat. Zametki33 (1983), 131–139, 159; MR 84h:03041.

    Google Scholar 

  286. Michler, G. O. andWille, R.,Die primitiven Klasse arithmetisher Ringe, Math. Z.113 (1970), 369–372; MR 41 #5420.

    Google Scholar 

  287. Mitschke, A.,Implication algebras are 3-permutable and 3-distributive, Algebra Universalis1 (1971), 182–186; MR 46 #8933.

    Google Scholar 

  288. Mitschke, A.,Near unanimity identities and congruence distributivity in equational classes, Algebra Universalis8 (1978), 29–32; MR 56 #11871.

    Google Scholar 

  289. Mogilevskii, M. G.,Order relations on symmetric semigroups of transformations and on their homomorphic images, Semigroup Forum19 (1980), 283–305; MR 82k;06019.

    Google Scholar 

  290. Monk, J. D.,Completions of Boolean algebras with operators, Math. Nachr.46 (1970), 47–55; MR 43 #3102.

    Google Scholar 

  291. Monk, J. D.,On equational classes of algebraic versions of logic. I, Math. Scand.27 (1970), 53–71; MR 43 #6065.

    Google Scholar 

  292. Montagna, F.,The well-founded algebras, Algebra Universalis16 (1983), 38–46; MR 84f:03055.

    Google Scholar 

  293. Monteiro, A.,Algèbres de Boole cycliques, Rev. Roumaine Math. Pures Appl.23 (1978), 71–76; MR 57 #12323.

    Google Scholar 

  294. Morley, M. D.,Categoricity in power, Trans. Amer. Math. Soc.114 (1965), 514–538; MR 31 #58.

    Google Scholar 

  295. Morley, M. andVaught, R.,Homogeneous universal models, Math. Scand.11 (1962), 37–57; MR 27 #37.

    Google Scholar 

  296. Murley, C. E.,Classification of certain classes of torsion free Abelian groups, Pacific J. Math.40 (1972), 647–655; MR 48 #441.

    Google Scholar 

  297. Murley, C. E.,Direct products and sums of torsion-free Abelian groups, Proc. Amer. Math. Soc.38 (1973), 235–241; MR 47 #362.

    Google Scholar 

  298. Murskii, V. L.,The existence in three-valued logic of a closed class with finite basis having no finite complete system of identities, Dokl. Akad. Nauk SSSR163 (1965), 815–818; English transl. Soviet Math. Dokl.6 (1965), 1020–1024; MR 32 #3998.

    Google Scholar 

  299. Murskii, V. L.,On the proportion of closed classes without a finite basis of identities (Russian), Doklady Akad. Nauk SSSR293 (1987), 1054–1057; MR 88h:08008.

    Google Scholar 

  300. Narkiewicz, W.,Remarks on abstract algebras having bases with different numbers of elements, Colloq. Math.15 (1966), 11–17; MR 33 #3977.

    Google Scholar 

  301. Nation, J. B.,Varieties whose congruences satisfy certain lattice identities, Algebra Universalis4 (1974), 78–88; MR 50 #6979.

    Google Scholar 

  302. Nation, J. B.,Lattice varieties covering V (L1), Algebra Universalis23 (1986), 132–166; MR 88g:06009.

    Google Scholar 

  303. Negrepontis, S.,The Stone space of the saturated Boolean algebras, Trans. Amer. Math. Soc.141 (1969), 515–527; MR 40 #1311.

    Google Scholar 

  304. Negrepontis, S.,Adequate ultrafilters of special Boolean algebras, Trans. Amer. Math. Soc.174 (1972), 345–367; MR 47 #1607.

    Google Scholar 

  305. Nelson, E.,Filtered products of congruences, Algebra Universalis8 (1978), 266–268; MR 57 #5861.

    Google Scholar 

  306. Nemeti, I.,Cylindric-relativised set algebras having strong amalgamation, J. Symbolic Logic50 (1985), 689–700; MR 87c:03146.

    Google Scholar 

  307. Nemitz, W. C. andWhaley, T. P.,Varieties of implicative semilattices, Pacific J. Math.37 (1971), 759–769; MR 47 #84.

    Google Scholar 

  308. Nemitz, W. C. andWhaley, T. P.,Varieties of implicative semilattices. II, Pacific J. Math.45 (1973), 303–311; MR 48 #10920.

    Google Scholar 

  309. Neumann, H.,Varieties of Groups, Ergebnisse der Math. u. ihrer Grenzgebiete, New Ser.37, Springer-Verlag, Berlin, 1967.

    Google Scholar 

  310. Neumann, W.,On Mal'cev conditions, J. Austral. Math. Soc.17 (1974), 376–384; MR 51 #7998.

    Google Scholar 

  311. Oates Williams, S. andVaughan-Lee, M. R.,Varieties that make one Cross, J. Austral. Math. Soc. Ser. A.26 (1978), 368–382; MR 80c:08006.

    Google Scholar 

  312. Oates, S. andPowell, M. B.,Identical relations in finite groups, Algebra1 (1964), 11–39; MR 28 #5108.

    Google Scholar 

  313. Olin, P.,An almost everywhere direct power, Trans. Amer. Math. Soc.134 (1968), 405–420; MR 38 #38.

    Google Scholar 

  314. Padmanabhan, R.,Regular identities in lattices, Trans. Amer. Math. Soc.158 (1971), 179–188; MR 43 #7376.

    Google Scholar 

  315. Padmanabhan, R. andQuackenbush, R. W.,Equational theories of algebras with distributive congruences, Proc. Amer. Math. Soc.41 (1973), 373–377; MR 48 #3845.

    Google Scholar 

  316. Padmanabhan R. andWolk, B.,Equational theories with a minority polynomial, Proc. Amer. Math. Soc.83 (1981), 238–242; MR 83b:08004.

    Google Scholar 

  317. Pálfy, P. P.,Modular subalgebra lattices, Algebra Universalis27 (1990), 220–229; MR 91c:08003.

    Google Scholar 

  318. Petrov, A. N.,The ascending varietal chain of a variety of semigroups, Semigroup Forum35 (1987), 157–162; MR 88i:20084.

    Google Scholar 

  319. Pigozzi, D.,Amalgamation, congruence-extension, and interpolation properties in algebras, Algebra Universalis1 (1971), 269–349; MR 46 #57.

    Google Scholar 

  320. Pigozzi, D.,Base-undecidable properties of universal varieties, Algebra Universalis6 (1976), 193–223; MR 55 #7757.

    Google Scholar 

  321. Pigozzi, D.,Minimal, locally-finite varieties that are not finitely axiomatizable, Algebra Universalis9 (1979), 374–390; MR 81a:08007.

    Google Scholar 

  322. Pigozzi, D.,Finite basis theorems for relatively congruence-distributive quasivarieties, Trans. Amer. Math. Soc.310 (1988), 499–533; MR 90b:08014.

    Google Scholar 

  323. Pincus, D.,Two model theoretic ideas in independence proofs, Fund. Math.92 (1976), 113–130; MR 56 #124.

    Google Scholar 

  324. Pinter, C. C.,Cylindric algebras and algebras of substitutions, Trans. Amer. Math. Soc.175 (1973), 167–179; MR 47 #6480.

    Google Scholar 

  325. Pinter, C. C.,Cylindric algebras with a property of Rasiowa and Sikorski, Mathematical Logic, Lecture Notes in Pure and Appl. Math.39, Dekker, New York (1978), 225–231; MR 80e:03076.

    Google Scholar 

  326. Pixley, A. F.,Distributivity and permutability of congruence relations in equational classes of algebras, Proc. Amer. Math. Soc.14 (1963), 105–109; MR 26 #3630.

    Google Scholar 

  327. Pixley, A. F.,Functionally complete algebras generating distributive and permutable classes, Math. Z.114 (1970), 361–372; MR 41 #6758.

    Google Scholar 

  328. Pixley, A. F.,The ternary discriminator function in universal algebra, Math. Annalen191 (1971), 167–180; MR 45 #1820.

    Google Scholar 

  329. Pixley, A. F.,Completeness in arithmetical algebras, Algebra Universalis2 (1972), 179–196; MR 48 #208.

    Google Scholar 

  330. PixLEY, A. F.,Local Mal'cev conditions, Canad. Math. Bull.15 (1972), 559–568; MR 46 #8942.

    Google Scholar 

  331. Pixley, A. F.,Equationally semi-complete varieties, Algebra Universalis4 (1974), 323–327; MR 50 #6980.

    Google Scholar 

  332. Pixley, A. F.,Characterizations of arithmetical varieties, Algebra Universalis9 (1979), 87–98; MR 80d:08012.

    Google Scholar 

  333. Płonka, E.,On a problem of B. Jónsson concerning automorphisms of a general algebra, Colloq. Math19 (1968), 5–8; MR 36 #6337.

    Google Scholar 

  334. Płonka, E.,The automorphism groups of symmetric algebras, Colloq. Math.22 (1970), 1–7; MR 42 #7582.

    Google Scholar 

  335. Płonka, J.,A note on the join and subdirect product of equational classes, Algebra Universalis1 (1971), 163–164; MR 45 #5066.

    Google Scholar 

  336. Polak, L.,Simple algebras and multiplicity types, Algebra Universalis11 (1980), 208–212; MR 83c:08006.

    Google Scholar 

  337. Polin, S. V.,Identities of finite algebras, Sib. Math. J.17 (1976), 1356–1366, 1439; MR 55 #12601.

    Google Scholar 

  338. Polin, S. V.,Identities in congruence lattices of universal algebras, Mat. Zametki22 (1977), 443–451; MR 58 #10663.

    Google Scholar 

  339. Pouzet, M.,Modèle universel d'une théorie n-complète, C. R. Acad. Sci. Paris Sér. A-B274 (1972), A433-A436; MR 45 # 1745a.

    Google Scholar 

  340. Pouzet, M.,Modèle universel d'une théorie n-complète: Modèle uniformément préhomogéne, C. R. Acad. Sci. Paris Sér. A-B274 (1972), A695-A698; MR 45 # 1745b.

    Google Scholar 

  341. Pouzet, M.,Ensemble ordonné universal recouvert par deux chaines, J. Combin. Theory Ser. B25 (1978), 1–2; MR 58 #16434.

    Google Scholar 

  342. Pudlák, P. andTuma, J.,Every finite lattice can be embedded in a finite partition lattice, Algebra Universalis10 (1980), 74–95; MR 81e:06013.

    Google Scholar 

  343. Quackenbush, R. W.,Equational classes generated by finite algebras, Algebra Universalis1 (1971), 265–266; MR 45 #3295.

    Google Scholar 

  344. Quackenbush, R. W.,Demi-semi-primal algebras and Mal'cev-type conditions, Math. Z122 (1971), 166–176; MR 46 #1682.

    Google Scholar 

  345. Quackenbush, R. W.,Algebras with minimal spectrum, Algebra Universalis10 (1980), 117–129; MR 81c:08007.

    Google Scholar 

  346. Quackenbush, R. W.,Varieties with n-principal compact congruences, Algebra Universalis14 (1982), 292–296; MR 83g:08007.

    Google Scholar 

  347. Quackenbush, R. W.,Equationally complete discriminator varieties of groupoids, Proc. Amer. Math. Soc.90 (1984), 203–206; MR 85g:08009.

    Google Scholar 

  348. Quackenbush, R. W.,Finitely determined arithmetic varieties need not be universally-finite, Algebra Universalis22 (1986), 302–303; MR 88c:08008.

    Google Scholar 

  349. Rautenberg, W.,Der Verband der normalen verzweigten Modallogiken, Math Z.156 (1977), 123–140; MR 58 #5064.

    Google Scholar 

  350. Repnitzkii, V. B.,On subdirectly irreducible lattice-ordered groups, Semigroup Forum29 (1984), 277–318; MR 86a:06022.

    Google Scholar 

  351. Romanowska, A. andSmith, J. D. H.,On the structure of subalgebra systems of idempotent entropic algebras, J. Algebra120 (1989), 263–283; MR 90k:08001.

    Google Scholar 

  352. Rose, B. I. andWoodrow, R. E.,Ultrahomogeneous structures, Z. Math. Logik Grundlag. Math.27 (1981), 23–30; MR 82c:03044.

    Google Scholar 

  353. Rose, H.,Nonmodular lattice varieties, Mem. Amer. Math. Soc.47 (292) (1984), v + 76 pp.; MR 85h:06018.

    Google Scholar 

  354. Rosenberg, I. G.,Universal Algebras with all operations of bounded range, Colloq. Math.30 (1974), 177–185; MR 51 #5456.

    Google Scholar 

  355. Rosenberg, I. G.,Functionally complete algebras in congruence distributive varieties, Acta Sci. Math. (Szeged)43 (1981), 347–352; MR 83b:08002.

    Google Scholar 

  356. Rotman, B.,Remarks on some theorems of Rado on universal graphs, J. London Math. Soc. (2)4 (1971), 123–126; MR 46 #7124.

    Google Scholar 

  357. Sambin, G. andVaccaro, V.,Topology and duality in modal logic, Ann. Pure Appl. Logic37 (1988), 249–296; MR 89d:03015.

    Google Scholar 

  358. Sankappanavar, H. P.,Distributive lattices with a dual endomorphism, Z. Math. Logik Grundlag. Math.31 (1985), 389–392; MR 87a:06026.

    Google Scholar 

  359. Sankappanavar, H. P.,Semi-de Morgan algebras, J. Symbolic Logic52 (1987), 712–724; MR 88k:06004.

    Google Scholar 

  360. Sankappanavar, H. P.,Demi-pseudocomplemented lattices: principal congruences and subdirect irreducibility, Algebra Universalis27 (1990), 180–193; MR 91c:06021.

    Google Scholar 

  361. Sauer, N. andStone, M. G.,The algebraic closure of a function, Algebra Universalis7 (1977), 295–306; MR 56 #222.

    Google Scholar 

  362. Schmidt, G.,Programs as partial graphs. I. Flow equivalence and correctness, Theoret. Comput. Sci.15 (1981), 1–25; MR 82k:68011a.

    Google Scholar 

  363. Schmidt, G. andStröhlein, T.,Relation algebras: concept of points and representability, Discrete Math.54 (1985), 83; MR 86h:03112.

    Google Scholar 

  364. Schönfeld, W.,An undecidability result for relation algebras, J. Symbolic Logic44 (1979), 111–115; MR 80f:03074.

    Google Scholar 

  365. Schultz, P.,Torsion-free extensions of torsion-free abelian groups, J. Algebra30 (1974), 75–91; MR 49 #7376.

    Google Scholar 

  366. Senft, J. R.,On weak automorphisms of universal algebras, Bull. Acad. Polon. Sci. Math. Ser. Sci. Math. Astron. Phys.18 (1970), 115–118; MR 41 #8325.

    Google Scholar 

  367. Shelah, S.,Notes on combinatorial set theory, Israel J. Math.14 (1973), 262–277; MR 48 #5864.

    Google Scholar 

  368. Shelah, S. andMakkai, M.,Categoricity of theories in Lκ,ω with k a compact cardinal, Ann. Pure Appl. Logic47 (1990), 41–97.

    Google Scholar 

  369. Shum, A. A.,Relative varieties of algebraic systems and propositional calculi (Russian), Doklady Akad. Nauk SSSR282 (1985), 538–541; MR 87g:08014.

    Google Scholar 

  370. Simonova, I. G.,On the interpolation property for extensions of intuitionistic proof logic, Math. Notes47 (1990), 483–490.

    Google Scholar 

  371. Smith, D. B.,Universal homogeneous algebras, Algebra Universalis1 (1971), 254–260; MR 45 #3298.

    Google Scholar 

  372. Smith, J. D. H.,Mal'cev Varieties, Springer Lecture Notes554, Berlin, 1976; MR 55 #5499.

  373. Stelzer, J.,A cancellation criterion for finite-rank torsion-free abelian groups, Proc. Amer. Math. Soc.94 (1985), 363–368; MR 86e:20062.

    Google Scholar 

  374. Stone, M. G.,On endomorphism structure for algebras over a fixed set, Colloq. Math.33 (1975), 41–45; MR 52 #10553.

    Google Scholar 

  375. Szabo, L.,Characterization of some related semigroups of universal algebras, Acta Sci. Math. (Szeged)37 (1973), 143–147; MR 53 #7914.

    Google Scholar 

  376. Szendrei, A.,Every idempotent plain algebra generates a minimal variety, Algebra Universalis25 (1988), 36–39; MR 89f:08003.

    Google Scholar 

  377. Taylor, W.,Residually small varieties, Algebra Universalis2 (1972), 33–53; MR 47 #3278.

    Google Scholar 

  378. Taylor, W.,Fixed points of endomorphisms, Algebra Universalis2 (1972), 74–76; MR 46 #5217.

    Google Scholar 

  379. Taylor, W.,Characterizing Mal'cev conditions, Algebra Universalis3 (1973), 351–397; MR 50 #2030.

    Google Scholar 

  380. Taylor, W.,Products of absolute retracts, Algebra Universalis3 (1973), 400–401; MR 50 #2031.

    Google Scholar 

  381. Taylor, W.,The fine spectrum of a variety, Algebra Universalis5 (1975), 263–303; MR 52 # 10547.

    Google Scholar 

  382. Taylor, W.,Pure compactification in quasi-primal varieties, Canad. J. Math28 (1976), 50–62; MR 53 #5435.

    Google Scholar 

  383. Taylor, W.,Baker's finite basis theorem, Algebra Universalis8 (1978), 191–196; MR 57 #16166.

    Google Scholar 

  384. Taylor, W.,Equational Logic, Houston J. Math., Survey 1979; MR 80j:03042.

  385. Taylor, W.,Some applications of the term condition, Algebra Universalis14 (1982), 11–24; MR 83d:08004.

    Google Scholar 

  386. Thomas, S.,Groups acting on infinite -dimensional projective spaces, J. London Math. Soc. (2)34 (1986), 265–273; MR 87k:20014.

    Google Scholar 

  387. Thomason, S. K.,Semantic analysis of tense logics, J. Symbolic Logic37 (1972), 150–158; MR 47 #4766.

    Google Scholar 

  388. Thompson, F. B.,A note on the unique factorization of abstract algebras, Bull. Amer. Math. Soc.55 (1949), 1137–1141; MR 11-309.

    Google Scholar 

  389. Tulipani, S.,On the universal theory of classes of finite models, Trans. Amer. Math. Soc.284 (1984), 163–170; MR 85h:03030.

    Google Scholar 

  390. Vaughan-Lee, M. R.,Laws in finite loops, Algebra Universalis9 (1979), 269–280; MR 80i:20059.

    Google Scholar 

  391. Vaught, R. L.,Models of complete theories, Bull. Amer. Math. Soc.69 (1963), 299–313; MR 26 #4912.

    Google Scholar 

  392. Vaught, R. L.,Some aspects of the theory of models, Amer. Math. Monthly80 (6) (1973), Part II, 3–37; MR 49 #2351.

    Google Scholar 

  393. Walker, C. L.,Local quasi-isomorphisms of torsion free abelian groups, Illinois J. Math.18 (1974), 537–551; MR 51 #748.

    Google Scholar 

  394. Warfield, R. B. Jr.,An isomorphic refinement theorem for Abelian groups, Pacific J. Math.34 (1970), 237–255; MR 42 #1896.

    Google Scholar 

  395. Warfield, R. B. Jr.,Cancellation of modules and groups and stable range of endomorphism rings, Pacific J. Math.91 (1980), 457–485; MR 82m: 16022.

    Google Scholar 

  396. Weinberg, E. C.,Relative injectives, Symposia Mathematica Vol. 21, Academic Press, London (1977), 555–564; MR 58 #16457.

    Google Scholar 

  397. Wickless, W. J.,Abelian groups which admit only nilpotent multiplications, Pacific J. Math.40 (1972), 251–259; MR 46 #3641.

    Google Scholar 

  398. Willard, R.,Congruence lattices of powers of an algebra, Algebra Universalis26 (1989), 332–340; MR 91c:08010.

    Google Scholar 

  399. Willard, R.,Varieties having Boolean factor congruences, J. Algebra132 (1990), 130–153.

    Google Scholar 

  400. Wille, R.,Kongruenzklassengeometrien, Lecture Notes in Mathematics, Vol. 113, Springer-Verlag, Berlin/New York, 1970; MR 41 #6759.

    Google Scholar 

  401. Wille, R.,Primitive subsets of lattices, Algebra Universalis2 (1972), 95–98; MR 47 #86.

    Google Scholar 

  402. Wille, R.,Aspects of finite lattices, Higher Combinatorics, Proc. NATO Advanced Study Inst., Berlin, 1976, NATO Adv. Study Inst. Ser., Ser. C: Math. Phys. Sci.31, Reidel, Dordrecht (1977), 79–100; MR 58 #27679.

    Google Scholar 

  403. Wu, Y.-Y.,Completions of Boolean algebras with partially additive operators, Pacific J. Math.40 (1972), 753–758; MR 46 #5129.

    Google Scholar 

  404. Yasuhara, M.,The amalgamation properly, the universal-homogeneous models, and the generic models, Math. Scand34 (1974), 5–36; MR 51 #7860 (Makkai).

    Google Scholar 

  405. Zakharyashchev, M. V.,The disjunction property of superintuitionistic and modal logics, Mat. Zametki42 (1987), 729–738, 763; MR 89b:03040.

    Google Scholar 

  406. Zakharyashchev, M. V.,Model companions of superintuitionistic logics — syntax, semantics, and preservation theorems, Math. USSR-Sb.68 (1991), 277–289.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, 90024-1555, Los Angeles, California, USA

    Kirby A. Baker

Authors
  1. Kirby A. Baker
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dedicated to Bjarni Jónsson on his 70th birthday

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baker, K.A. Bjarni Jónsson's contributions in algebra. Algebra Universalis 31, 306–336 (1994). https://doi.org/10.1007/BF01221790

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01221790

Search

Navigation