Normal view MARC view ISBD view

Burris, Stanley.

Decidability and Boolean representations / [electronic resource] Stanley Burris and Ralph McKenzie. - Providence, R.I. : American Mathematical Society, 1981. - 1 online resource (vii, 106 p.) - Memoirs of the American Mathematical Society, v. 246 0065-9266 (print); 1947-6221 (online); .

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


Mode of access : World Wide Web

ISBN: 9781470406530 (online)

Subjects--Topical Terms:
Algebra, Universal.
Decidability (Mathematical logic)
Algebraic varieties.
Modular lattices.
Representations of algebras.

LC Class. No.: QA3 QA251 / .A57 no. 246

Dewey Class. No.: 510 s 512