Items related to Decision Problems for Equational Theories of Relation...
Decision Problems for Equational Theories of Relation Algebras (Memoirs of the American Mathematical Society) - Softcover
Synopsis
This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily applicable but deep method, based on von Neumann's coordinatization theorem, is developed for establishing undecidability results. The method is used to solve several outstanding problems posed by Tarski. In addition, the complexity of intervals of equational theories of relation algebras with respect to questions of decidability is investigated. Using ideas that go back to Jónsson and Lyndon, the authors show that such intervals can have the same complexity as the lattice of subsets of the set of the natural numbers. Finally, some new and quite interesting examples of decidable equational theories are given.
The methods developed in the monograph show promise of broad applicability. They provide researchers in algebra and logic with a new arsenal of techniques for resolving decision questions in various domains of algebraic logic.
"synopsis" may belong to another edition of this title.
Search results for Decision Problems for Equational Theories of Relation...
Stock Image
Decision Problems for Equational Theories of Relation Algebras (Memoirs of the American Mathematical Society)
Published by
American Mathematical Society, 1997
ISBN 10: 0821805959
ISBN 13: 9780821805954
Used
Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 126 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1315599
Quantity: 1 available
Seller Image
Decision problems for equational theories of relation algebras Hajnal Andréka, Steven Givant, István Németi. Memoirs of the American Mathematical Society 604.
Published by
Providence, American Mathematical Society, 1997
ISBN 10: 0821805959
ISBN 13: 9780821805954
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothčque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 AND 9780821805954 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2506778
Quantity: 1 available
Seller Image
Decision problems for equational theories of relation algebras Hajnal Andréka, Steven Givant, István Németi. Memoirs of the American Mathematical Society 604.
Published by
Providence, American Mathematical Society, 1997
ISBN 10: 0821805959
ISBN 13: 9780821805954
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothčque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 AND 9780821805954 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2502450
Quantity: 1 available
Seller Image
Decision problems for equational theories of relation algebras.
Published by
Providence, American Mathematical Society, 1997
ISBN 10: 0821805959
ISBN 13: 9780821805954
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. xiv, 126 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library in GOOD condition with library-signature and stamp(s). Some traces of use. R-16114 9780821805954 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2479576
Quantity: 1 available
Seller Image
Decision Problems for Equational Theories of Relation Algebras
Published by
American Mathematical Society, Providence, Rhode Island, 1997
ISBN 10: 0821805959
ISBN 13: 9780821805954
Used
Paperback
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Providence, Rhode Island: American Mathematical Society, 1997. xiv, 126 pp. 25.5 x 18 cm. Glossy white stiff paper wrappers printed with dark blue and burgundy. Memoirs of the American Mathematical Society, Number 604. Light rubbing to covers, with a shallow 3.5 cm scratch on rear cover. Light bumps and rubbing to spine ends with some curling to corners of covers. Previous owner's bookplate on inside of front cover. Interior clean and unmarked. Binding firm with no creases or cracks. . Soft Cover. Very Good. Seller Inventory # 626603
Quantity: 1 available