×

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).

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
PDFBibTeX XMLCite
Full Text: DOI