Skip to Main Content


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

PDF View full volume as PDF

View other years and numbers:

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