Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie
| Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie |
| Autore | Burris Stanley |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1981] |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina |
510 s
512 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Universal
Decidability (Mathematical logic) Algebraic varieties Modular lattices Representations of algebras |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0653-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decidable varieties with modular congruence lattices -- Boolean representable varieties. |
| Record Nr. | UNINA-9910480024203321 |
Burris Stanley
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1981] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie
| Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie |
| Autore | Burris Stanley |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1981] |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina |
510 s
512 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Universal
Decidability (Mathematical logic) Algebraic varieties Modular lattices Representations of algebras |
| ISBN | 1-4704-0653-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decidable varieties with modular congruence lattices -- Boolean representable varieties. |
| Record Nr. | UNINA-9910788895403321 |
Burris Stanley
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1981] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie
| Decidability and Boolean representations / / Stanley Burris and Ralph McKenzie |
| Autore | Burris Stanley |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1981] |
| Descrizione fisica | 1 online resource (116 p.) |
| Disciplina |
510 s
512 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Universal
Decidability (Mathematical logic) Algebraic varieties Modular lattices Representations of algebras |
| ISBN | 1-4704-0653-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decidable varieties with modular congruence lattices -- Boolean representable varieties. |
| Record Nr. | UNINA-9910817227303321 |
Burris Stanley
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1981] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The structure of finite algebras / / David Hobby, Ralph McKenzie
| The structure of finite algebras / / David Hobby, Ralph McKenzie |
| Autore | Hobby David Charles |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1988] |
| Descrizione fisica | 1 online resource (224 p.) |
| Disciplina | 512 |
| Collana | Contemporary mathematics |
| Soggetto topico | Algebra, Universal |
| ISBN |
0-8218-3400-2
0-8218-5073-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Introduction -- Chapter 0: Basic concepts and notation -- Chapter 1: Tight lattices -- Chapter 2: Tame quotients -- Chapter 3: Abelian and solvable algebras -- Chapter 4: The structure of minimal algebras -- Chapter 5: The types of tame quotients -- Chapter 6: Labeled congruence lattices -- Chapter 7: Solvability and semi-distributivity -- Chapter 8: Congruence modular varieties -- Chapter 9: Mal'cev classification and omitting types -- Chapter 10: Residually small varieties -- Chapter 11: Decidable varieties -- Chapter 12: Free spectra -- Chapter 13: Tame algebras and E-minimal algebras -- Chapter 14: Simple algebras in varieties -- Problems -- An appendix added in July, 1996 -- Bibliography -- Added in July, 1996 -- Index to Terms -- A-Z -- Index of Notation. |
| Record Nr. | UNISA-996320732403316 |
Hobby David Charles
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1988] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The structure of finite algebras / / David Hobby, Ralph McKenzie
| The structure of finite algebras / / David Hobby, Ralph McKenzie |
| Autore | Hobby David Charles |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1988] |
| Descrizione fisica | 1 online resource (224 p.) |
| Disciplina | 512 |
| Collana | Contemporary mathematics |
| Soggetto topico | Algebra, Universal |
| ISBN |
0-8218-3400-2
0-8218-5073-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Introduction -- Chapter 0: Basic concepts and notation -- Chapter 1: Tight lattices -- Chapter 2: Tame quotients -- Chapter 3: Abelian and solvable algebras -- Chapter 4: The structure of minimal algebras -- Chapter 5: The types of tame quotients -- Chapter 6: Labeled congruence lattices -- Chapter 7: Solvability and semi-distributivity -- Chapter 8: Congruence modular varieties -- Chapter 9: Mal'cev classification and omitting types -- Chapter 10: Residually small varieties -- Chapter 11: Decidable varieties -- Chapter 12: Free spectra -- Chapter 13: Tame algebras and E-minimal algebras -- Chapter 14: Simple algebras in varieties -- Problems -- An appendix added in July, 1996 -- Bibliography -- Added in July, 1996 -- Index to Terms -- A-Z -- Index of Notation. |
| Record Nr. | UNINA-9910137928603321 |
Hobby David Charles
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1988] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||