Cylindric set algebras. Cylindric set algebras and related structures / Henkin, L.

Public ISBD Titre : Cylindric set algebras. Cylindric set algebras and related structures : on cylindric-relativized set algebras Type de document : texte imprimé Auteurs : Henkin, L. ; Nemeti, I. ; Hajnal Andréka ; Tarski, A. ; J. D. Monk Editeur : Springer-Verlag Année de publication : 1981 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 883 Importance : v - 323 p. ISBN/ISSN/EAN : 978-0-387-10881-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C55 Set-theoretic model theory 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : ultraproducts  relativization  cylindric algebra  cylindric set algebra Index. décimale : LNM Cylindric set algebras. Cylindric set algebras and related structures : on cylindric-relativized set algebras [texte imprimé] / Henkin, L. ; Nemeti, I. ; Hajnal Andréka ; Tarski, A. ; J. D. Monk . - [S.l.] : Springer-Verlag, 1981 . - v - 323 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 883) . ISBN : 978-0-387-10881-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C55 Set-theoretic model theory 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : ultraproducts  relativization  cylindric algebra  cylindric set algebra Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7616	LNM/883	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

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

---

page 1/1