AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Decidability and Boolean representations
About this Title
Stanley Burris and Ralph McKenzie
Publication: Memoirs of the American Mathematical Society
Publication Year:
1981; Volume 32, Number 246
ISBNs: 978-0-8218-2246-3 (print); 978-1-4704-0653-0 (online)
DOI: https://doi.org/10.1090/memo/0246
MathSciNet review: 617896
MSC: Primary 03B25; Secondary 03C60, 08B10
Table of Contents
Chapters
- 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