Decidability and Boolean representations / Burris, Stanley

Public ISBD Titre : Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties Type de document : texte imprimé Auteurs : Burris, Stanley ; McKenzie, Ralph Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 246 Importance : vii - 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem Decidability and Boolean representations : I. Decidable varieties with modular congruence lattices. II. Boolean representable varieties [texte imprimé] / Burris, Stanley ; McKenzie, Ralph . - Providence, R.I. : American Mathematical Society, 1981 . - vii - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 246) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C05 Equational classes, universal algebra 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : abelian variety  discriminator variety  locally finite varieties  modular varieties  decidable first order theory  varietal product  variety of universal algebras Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15228	Mem/246	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Geometrical methods in congruence modular algebras / H. Peter Gumm

Public ISBD Titre : Geometrical methods in congruence modular algebras Type de document : texte imprimé Auteurs : H. Peter Gumm Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1983 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 286 Importance : viii - 79 p. Langues : Anglais Catégories : 08-XX General algebraic systems:08AXX Algebraic structures :08A30 Subalgebras, congruence relations 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : affine algebras  commutator  shifting lemma  congruence relations  congruence class geometry  coordinatization of algebras  congruence modular varieties Index. décimale : Mem Geometrical methods in congruence modular algebras [texte imprimé] / H. Peter Gumm . - Providence, R.I. : American Mathematical Society, 1983 . - viii - 79 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 286) . Langues : Anglais Catégories : 08-XX General algebraic systems:08AXX Algebraic structures :08A30 Subalgebras, congruence relations 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B10 Congruence modularity, congruence distributivity Mots-clés : affine algebras  commutator  shifting lemma  congruence relations  congruence class geometry  coordinatization of algebras  congruence modular varieties Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15168	Mem/286	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

---

page 1/1