Decision problems for equational theories of relation algebras / Hajnal Andréka

Public ISBD Titre : Decision problems for equational theories of relation algebras Type de document : texte imprimé Auteurs : Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1997 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 604 Importance : 126 p. ISBN/ISSN/EAN : 978-0-8218-0595-4 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:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem Decision problems for equational theories of relation algebras [texte imprimé] / Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi . - Providence, R.I. : American Mathematical Society, 1997 . - 126 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 604) . ISBN : 978-0-8218-0595-4 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:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem

Exemplaires

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

Nonmodular lattice varieties / Rose, Henry

Public ISBD Titre : Nonmodular lattice varieties Type de document : texte imprimé Auteurs : Rose, Henry Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 292 Importance : v - 76 p. Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B20 Varieties of lattices 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B25 Free lattices, projective lattices, word problems 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : join irreducible lattice varieties  weak projection  splitting  semidistributivity  isolated subset of finite lattice  bounded homomorphism  bijective transposition Index. décimale : Mem Nonmodular lattice varieties [texte imprimé] / Rose, Henry . - Providence, R.I. : American Mathematical Society, 1984 . - v - 76 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 292) . Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B20 Varieties of lattices 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B25 Free lattices, projective lattices, word problems 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : join irreducible lattice varieties  weak projection  splitting  semidistributivity  isolated subset of finite lattice  bounded homomorphism  bijective transposition Index. décimale : Mem

Exemplaires

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

the Equational classes generated by single functionally precomplete algebras / Knoebel, Arthur

Public ISBD Titre : the Equational classes generated by single functionally precomplete algebras Type de document : texte imprimé Auteurs : Knoebel, Arthur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1985 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 332 Importance : 83 p. Langues : Anglais Catégories : 08-XX General algebraic systems:08AXX Algebraic structures :08A30 Subalgebras, congruence relations 08-XX General algebraic systems:08AXX Algebraic structures :08A40 Operations, polynomials, primal algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : equational coheight  subdirectly irreducibles  equationally complete  functionally precomplete algebras Index. décimale : Mem the Equational classes generated by single functionally precomplete algebras [texte imprimé] / Knoebel, Arthur . - Providence, R.I. : American Mathematical Society, 1985 . - 83 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 332) . Langues : Anglais Catégories : 08-XX General algebraic systems:08AXX Algebraic structures :08A30 Subalgebras, congruence relations 08-XX General algebraic systems:08AXX Algebraic structures :08A40 Operations, polynomials, primal algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : equational coheight  subdirectly irreducibles  equationally complete  functionally precomplete algebras Index. décimale : Mem

Exemplaires

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

the Lattice of interpretability types of varieties / O.C. Garcia

Public ISBD Titre : the Lattice of interpretability types of varieties Type de document : texte imprimé Auteurs : O.C. Garcia ; W. Taylor Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 305 Importance : v - 125 p. Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem the Lattice of interpretability types of varieties [texte imprimé] / O.C. Garcia ; W. Taylor . - Providence, R.I. : American Mathematical Society, 1984 . - v - 125 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 305) . Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem

Exemplaires

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

---

page 1/1