TY  - BOOK
AU  - Burris,Stanley
AU  - McKenzie,Ralph
TI  - Decidability and Boolean representations
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470406530 (online)
AV  - QA3QA251 .A57 no. 246
U1  - 510 s512 19
PY  - 1981///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Algebra, Universal
KW  - Decidability (Mathematical logic)
KW  - Algebraic varieties
KW  - Modular lattices
KW  - Representations of algebras
N1  - Includes bibliographies; Part I. Decidable varieties with modular congruence lattices; 1. Overview; 2. Notation and very basic concepts; 3. Method of undecidability proofs; 4. Classification of varieties; 5. Prologue; 6. Boolean pairs; 7. Three constructions; 8. The commutator in modular varieties; 9. Decomposition; 10. The ring of an abelian variety; 11. Results on decidable varieties; 12. Groups and rings; 13. Epilogue; Part II. Boolean representable varieties; 1. Introduction; 2. Preliminaries; 3. Characterizations of Boolean representation; 4. Some useful facts; 5. Sub-Boolean powers of a quasi-primal algebra; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/memo/0246
UR  - http://dx.doi.org/10.1090/memo/0246
ER  -