BIBLIOGRAPHY OF RALPH MCKENZIE

contact: mckenzie@math.vanderbilt.edu

  1. On finite groupoids and K-prime algebras
    Trans. Amer. Math. Soc. 133 (1968), 115--129

  2. Representations of integral relation algebras
    Mich. Math. J. 17 (1970), 279--287

  3. Equational bases for lattice theories
    Math. Scand. 27 (1970), 24--38

  4. Cardinal multiplication of structures with a reflexive relation
    Fund. Math. 70 (1971), 59--101

  5. Definabililty in lattices of equational theories
    Annals Math. Logic 3 (1971), 197--237

  6. A note on subgroups of infinite symmetric groups
    Indag. Math. 33 (1971), 53--58

  7. On elementary types of symmetric groups
    Algebra Universalis 1 (1971), 13--20

  8. On semigroups whose proper subsemigroups have lesser power
    Algebra Universalis 1 (1971), 21--25

  9. Negative solution of the decision problem for sentences true in every subalgebra of <N, +>
    J. Symbolic Logic 36 (1971), 607--609

  10. Aleph-1 incompactness of Z
    Colloq. Math. 23 (1971), 199--202

  11. On Boolean functions and connected sets, with J. Mycielski and D. Thompson
    Math. Systems Theory 5 (1971), 259--270

  12. A method for obtaining refinement theorems, with an application to direct products of semigroups
    Algebra Universalis 2 (1972), 324--338

  13. An elementary construction of unsolvable word problems in group theory, with R. J. Thompson
    Proceedings of the Conference on Decision Problems in Group Theory, UC Irvine, 1969. North-Holland 1972. pp. 457--478.

  14. Equational bases and nonmodular lattice varieties
    Trans. Amer. Math. Soc. 174 (1972), 1--43

  15. Some unsolved problems between lattice theory and equational logic
    Proceedings of the University of Houston Lattice Theory Conference, 1973. pp. 564--573.

  16. On automorphism groups of Boolean algebras, with D. Monk
    Colloquia Mathematica Societatis Janos Bolyai, 10. Infinite and Finite Sets. Keszthely [Hungary], 1973, pp. 951--988.

  17. Game theoretic versions of partition relations, I, with J. Baumgartner, F. Galvin and R. Laver
    Colloquia Mathematica Societatis Janos Bolyai, 10. Infinite and Finite Sets. Keszthely [Hungary], 1973, pp. 131--135.

  18. The cardinals of simple models for universal theories, with S. Shelah
    Proceedings of the Tarski Symposium, 1971. Volume 25 of Symposia in Pure Mathematics, American Mathematical Society. Providence, 1974, pp. 53--74.

  19. On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
    J. Symbolic Logic 40 (1975), 186--196

  20. Automorphism groups of denumerable Boolean algebras
    Canad. J. Math. 29 (1977), 466--471

  21. How to cancel a linearly ordered exponent, with C. Bergman and Zs. Nagy
    Colloquia Mathematica Societatis Janos Bolyai, 29. Universal Algebra. Esztergom [Hungary], 1977, pp. 87--93.

  22. Coverings of groups by Abelian subgroups, with V. Faber and R. Laver
    Canad. J. Math. 30 (1978), 933--945

  23. Para primal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties
    Algebra Universalis 8 (1978), 336--348

  24. A finite algebra A with SP(A) not elementary
    Algebra Universalis 8 (1978), 5--7

  25. Varieties of -distributive bisemilattices, with A Romanowska
    Contributions to General Algebra, H. Kautschitsch, W.B. Muller, and W. Nobauer eds. Klagenfurt, Austria, 1979

  26. Residually small varieties with modular congruence lattices, with Ralph Freese
    Trans. Amer. Math. Soc. 264 (1981), 419--430

  27. Decidability and Boolean Representations, with S. Burris
    Memoirs AMS 32 (1981), number 246

  28. Decidable varieties with modular congruence lattices, with S. Burris
    Bull. Amer. Math. Soc. 4 (1981), 350--352

  29. Residually small varieties of semigroups
    Algebra Universalis 13 (1981), 171--201

  30. On recovering a bounded distributive lattice from its endomorphism monoid, with C. Tsinakis
    Houston J. Math. 7 (1981), 525--529

  31. The spectrum of a lattice-primal algebra, with R. Quackenbush
    Discrete Math. 35 (1981), 157--163

  32. Powers of partially ordered sets: cancellation and refinement properties, with B. Jónsson
    Math. Scand. 51 (1982), 87--120

  33. Residually small varieties of K-algebras
    Algebra Universalis 14 (1982), 181--196

  34. Narrowness implies uniformity
    Algebra Universalis 15 (1982), 67--85

  35. Counting models in universal Horn classes, with J. Baldwin
    Algebra Universalis 15 (1982), 359--384

  36. Subdirect powers of non-Abelian groups
    Houston J. Math. 8 (1982), 389--399

  37. Chains in Boolean algebras, with D. Monk
    Annals Math. Logic 22 (1982), 137--175

  38. The number of non-isomorphic models in quasi-varieties of semigroups
    Algebra Universalis 16 (1983), 195--203

  39. Finite forbidden lattices
    Springer Lecture Notes 1004 (1983). Conference on Universal Algebra and Lattice Theory [Puebla, Mexico, 1982], pp. 176--205.

  40. Tame congruences
    Colloquia Mathematica Societatis Janos Bolyai, 43. Universal Algebra. Szeged [Hungary], 1983. pp. 293--305.

  41. A note on residually small varieties of semigroups
    Algebra Universalis 17 (1983), 143--149

  42. Cardinality and cofinality of homomorphs of products of Boolean algebras, with B. Koppelberg and D. Monk
    Algebra Universalis 19 (1984), 38--44

  43. A new product of algebras and a type reduction theorem
    Algebra Universalis 18 (1984), 29--69

  44. Clones satisfying the term condition, with J. Berman
    Discrete Math. 52 (1984), 7--29

  45. Categorical quasivarieties revisited
    Algebra Universalis 19 (1984), 273--303

  46. The structure of finite algebras
    Atti degli Incontri di Logica Matematica vol.2 [Siena] (1985). pp. 561--584.

  47. Alfred Tarski: Collected Papers, edited with S. R. Givant, in four volumes
    Birkhäuser, Basel-Boston-Stuttgart, 1986.

  48. Commutator Theory for Congruence Modular Varieties, with R. Freese
    London Mathematical Society Lecture Note 125. 1987.

  49. Algebras, Lattices, Varieties, I, with G. McNulty and W. Taylor
    Wadsworth--Brooks/Cole, Monterey, California, 1987.

  50. Finite equational bases for congruence modular varieties
    Algebra Universalis 24 (1987), 224--250

  51. Nilpotent and solvable radicals in locally finite congruence modular varieties
    Algebra Universalis 24 (1987), 251--266

  52. The Structure of Finite Algebras, with D. Hobby
    American Mathematical Society, Contemporary Mathematics, Volume 76. 1988.

  53. On the relationship of AP, RS, and CEP in congruence modular varieties, II, with C. Bergman
    Proc. Amer. Math. Soc. 103 (1988), 335--343

  54. Two definability results in the equational context, with M. Hèbert and G.E. Weaver
    Proc. Amer. Math. Soc. 107 (1989), 47--53

  55. The Structure of Decidable Locally Finite Varieties, with M. Valeriote
    Birkhäuser, Progress in Mathematics, Volume 79. 1989.

  56. Residually small varieties revisited
    Lattices, Semigroups and Universal Algebra (Proceedings of the Lisbon 1988 Conference). Plenum Press, 1990. pp. 185--190.

  57. Interactions between group theory and the general theory of algebras
    "Groups--Canberra 1989", Springer Lecture Notes in Mathematics, Volume 1456, 1990. pp. 32--48.

  58. Interpretations of module varieties, with W. Taylor
    Journal of Algebra 135 (1990), 456-493

  59. Minimal varieties and quasivarieties, with C. Bergman
    Journal of the Australian Math. Soc., Series A 48 (1990), 133--147

  60. Monotone clones, residual smallness and congruence distributivity
    Bulletin of the Australian Math. Soc. 41 (1990), 283--300

  61. Congruence extension, Hamiltonian and Abelian properties in locally finite varieties
    Algebra Universalis 28 (1991), 589--603

  62. Decidable discriminator varieties from unary varieties, with S. Burris and M. Valeriote
    Jour. Symbolic Logic 56 (1991), 1355--1368

  63. K-ary monoids of term operations, with J. Hyndman and W. Taylor
    Semigroup Forum 44 (1992), 21--52

  64. Commutator theory for relatively modular quasivarieties, with K. Kearnes
    Trans. Amer. Math. Soc. 331 (1992), 465--502

  65. A characterization of decidable locally finite varieties, with M. Valeriote
    Proceedings of the International Conference on Algebra honoring A. Malcev. AMS Contemporary Mathematics Volume 131, 1992 (Part 3). pp. 169--185.

  66. Definability in the lattice of equational theories of semigroups, I, with J. Jezek
    Semigroup Forum 46 (1993), 199--245

  67. On the covering relation in the interpretability lattice of equational theories
    Algebra Universalis 30 (1993), 399--421

  68. Non-covering in the interpretability lattice of equational theories, with S. Swierczkowski
    Algebra Universalis 30 (1993), 157--170

  69. Stroennie Konechnie Algebri, Russian translation of 52
    Mir, 1993. Yu. Ershov, V. Gorbunov Eds.

  70. On minimal simple lattices
    Algebra Universalis 32 (1994), 63--103

  71. On monotone clones of braids, with B. Davey, J. B. Nation and P. P. Palfy
    Algebra Universalis 32 (1994), 153--176

  72. Near unanimity: an obstruction to general duality theory, with B. Davey and L. Heindorf
    Algebra Universalis 33 (1995), 428--439

  73. The residual bounds of finite algebras
    IJAC [International Journal of Algebra and Computation] 6 (1996), 1--28
  74. The residual bound of a finite algebra is not computable
    IJAC 6 (1996), 29--48

  75. Tarski's finite basis problem is undecidable
    IJAC 6 (1996), 49--104
  76. An algebraic version of categorical equivalence for varieties and more general algebraic categories
    Logic and Algebra (Proceedings of the Magari Conference, Siena), Marcel Dekker, New York, 1996.

  77. Every semigroup is isomorphic to a transitive semigroup of binary relations, with B.M. Schein
    Transactions AMS 349 (1997), 271--285

  78. Affine complete varieties are congruence distributive, (with K. Kaarli)
    Algebra Universalis 38 (1997), 329-354.

  79. The variety generated by tournaments, (with J. Jezek, P. Markovic and M. Maroti)
    Acta Univ. Carolinae, Math. et Phy. 40 (1999), 21-41.

  80. Review of five papers of B. Hart, A. Pillay, S. Starchenko and M. Valeriote in J. Symbolic Logic [when][about 1999].

  81. Equations of tournaments are not finitely based, (with J. Jezek, P. Markovic and M. Maroti)
    Discrete Mathematics 211 (2000), 243-248.

  82. Recursive inseparability for residual bounds of finite algebras,
    Journal of Symbolic Logic v.65, no. 4 (2000), 1863-1880.

  83. Complementary closed relational clones are not always Krasner clones, (with M. Droste, D. Kuske, R. Pöschel)
    Algebra Universalis 45 (2001), 155-160.

  84. The type-set of a variety is not computable, (with J. Wood)
    International Journal of Algebra and Computation 11 (2001), 89-130.

  85. The variety generated by equivalence algebras, (with J. Jezek)
    Algebra Universalis 45 (2001), 211-219.

  86. Arithmetic of finite ordered sets: cancellation of exponents, I,
    Order 16 (1999), 313-333.

  87. Arithmetic of finite ordered sets: cancellation of exponents, II,
    Order 17 (2000), 309-332.

  88. Varieties with polynomially many models, (with P. M. Idziak)
    Fundamenta Mathematicae 170 (2001), 53-68.

  89. Residual smallness relativized to congruence types, I,
    Journal of Pure and Applied Algebra 163 (2001), 209-220.

  90. The variety generated by order algebras, (with R. Freese, J. Jezek, P. Jipsen, P. Markovic, M. Maroti)
    Algebra Universalis 47 (2002), 103-138.

  91. Locally finite varieties with large free spectra, I,
    Algebra Universalis 47 (2002), 303-318.

  92. The zig-zag property and exponential cancellation of ordered sets,
    Order 20 (2003), 185-221.

  93. Finite basis problems and results for quasivarieties, (with M. Maroti)
    Studia Logica 78 (2003), 1-28.

  94. On some small cardinals for Boolean algebras, (with J.D. Monk)
    Journal of Symbolic Logic 69 (2004), 647-682.

  95. Congruence modular varieties: commutator theory and its uses, (with J. Snow)
    Structural Theory of Automata, Semigroups and Universal Algebra, proceedings of the NATO ASI, Montreal, 2003 (to appear).

  96. Interpreting graph colourability in finite semigroups, (with M. Jackson).
    (preprint).

  97. The structure of locally finite varieties with polynomially many models, (with P.M. Idziak and M. Valeriote)
    (preprint).

  98. Equational theories represented on linear terms, (with P. Djapi, J. Jezek, P. Markovic)
    (preprint).