Decidability and Boolean representations / [electronic resource] Stanley Burris and Ralph McKenzie.
Material type: TextSeries: Memoirs of the American Mathematical Society ; v. 246Publication details: Providence, R.I. : American Mathematical Society, 1981Description: 1 online resource (vii, 106 p.)ISBN: 9781470406530 (online)Subject(s): Algebra, Universal | Decidability (Mathematical logic) | Algebraic varieties | Modular lattices | Representations of algebrasAdditional physical formats: Decidability and Boolean representations /DDC classification: 510 s | 512 LOC classification: QA3 | .A57 no. 246 | QA251Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK12699 |
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
Description based on print version record.
There are no comments on this title.