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

Introduction to boolean algebras / Steven R. Givant

Public ISBD Titre : Introduction to boolean algebras Type de document : texte imprimé Auteurs : Steven R. Givant, Auteur ; Paul R. Halmos, Auteur Editeur : New York, NY : Springer Année de publication : 2009 Collection : Undergraduate Texts in Mathematics, ISSN 0172-6056 Importance : xiv - 574 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-0-387-40293-2 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E05 Structure theory 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E10 Chain conditions, complete algebras 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E15 Stone space and related constructions Mots-clés : Boolean algebra  Boolean ring  Boolean space  Boolean $\sigma$-algebra  measure algebra Index. décimale : 06C Monographie Introduction to boolean algebras [texte imprimé] / Steven R. Givant, Auteur ; Paul R. Halmos, Auteur . - New York, NY : Springer, 2009 . - xiv - 574 p. : ill. ; 25 cm. - (Undergraduate Texts in Mathematics, ISSN 0172-6056) . ISBN : 978-0-387-40293-2 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E05 Structure theory 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E10 Chain conditions, complete algebras 06-XX Order, lattices, ordered algebraic structures :06EXX Boolean algebras (Boolean rings) :06E15 Stone space and related constructions Mots-clés : Boolean algebra  Boolean ring  Boolean space  Boolean $\sigma$-algebra  measure algebra Index. décimale : 06C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19751	06C36	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

---

page 1/1