• Ralph McKenzie
  • Matthew Valeriote
Part of the Progress in Mathematics book series (PM, volume 79)


For more detail on the topics briefly introduced here, the reader can be referred to: S. Burris, H. P Sankappanavar [1981] for universal algebra, lattice theory, first order logic and decidability; S. Burris, R. McKenzie [1981] for several theorems quoted here; and D. Hobby, R. McKenzie [1988] for a detailed development of tame congruence theory, including many results that will be applied here. The introductory chapters in Burris and McKenzie contain an introduction to decidability, interpretations, discriminator varieties and affine varieties that complements what we write here. The proofs in Burris and McKenzie relied on several results about commutators in congruence-modular varieties that had not appeared in print at that time. The reader was referred for these results to a preprint by R. Freese and R. McKenzie titled . That paper has now been published (much expanded) as Freese, McKenzie [1987].


Abelian Variety Congruence Lattice Subdirect Product Term Operation Discriminator Variety 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston, Inc. 1989

Authors and Affiliations

  • Ralph McKenzie
    • 1
  • Matthew Valeriote
    • 2
  1. 1.Department of MathematicsUniversity of CaliforniaBerkeleyUSA
  2. 2.Department of Mathematics and StatisticsMcMaster UniversityHamiltonCanada

Personalised recommendations