Burris, Stanley; McKenzie, Ralph Decidability and Boolean representations. I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties. (English) Zbl 0483.03019 Mem. Am. Math. Soc. 246, 106 p. (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 ReviewsCited in 28 Documents MSC: 03C05 Equational classes, universal algebra in model theory 03B25 Decidability of theories and sets of sentences 08B10 Congruence modularity, congruence distributivity 08B25 Products, amalgamated products, and other kinds of limits and colimits 03C20 Ultraproducts and related constructions Keywords:variety of universal algebras; varietal product; decidable first order theory; modular varieties; locally finite varieties; discriminator variety; abelian variety; Boolean products; sub-Boolean powers Citations:Zbl 0283.08001; Zbl 0274.08002; Zbl 0182.342; Zbl 0421.08001; Zbl 0419.08001; Zbl 0408.08003; Zbl 0408.03011; Zbl 0259.08002; Zbl 0266.08002; Zbl 0328.08003; Zbl 0374.08002; Zbl 0411.03022; Zbl 0344.08002 PDFBibTeX XMLCite \textit{S. Burris} and \textit{R. McKenzie}, Decidability and Boolean representations. I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties. Providence, RI: American Mathematical Society (AMS) (1981; Zbl 0483.03019) Full Text: DOI