Articles liés à Decision Problems for Equational Theories of Relation...
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 Jonsson 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. The provide researchers in algebra and logc with a new arsenal of techniques for resolving decision questions in various domains of algebraic logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Decision Problems for Equational Theories of Relation...
Image fournie par le vendeur
Decision problems for equational theories of relation algebras Hajnal Andréka, Steven Givant, István Németi. Memoirs of the American Mathematical Society 604.
Edité par
Providence, American Mathematical Society, 1997
ISBN 10 : 0821805959
ISBN 13 : 9780821805954
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2506778
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Decision problems for equational theories of relation algebras Hajnal Andréka, Steven Givant, István Németi. Memoirs of the American Mathematical Society 604.
Edité par
Providence, American Mathematical Society, 1997
ISBN 10 : 0821805959
ISBN 13 : 9780821805954
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2502450
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Decision problems for equational theories of relation algebras.
Edité par
Providence, American Mathematical Society, 1997
ISBN 10 : 0821805959
ISBN 13 : 9780821805954
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2479576
Quantité disponible : 1 disponible(s)
Image d'archives
Decision Problems for Equational Theories of Relation Algebras (Memoirs of the American Mathematical Society)
Edité par
American Mathematical Society, 1997
ISBN 10 : 0821805959
ISBN 13 : 9780821805954
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 25 (weekend sale item)* 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. N° de réf. du vendeur ZB1315599
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Decision Problems for Equational Theories of Relation Algebras
Edité par
American Mathematical Society, Providence, Rhode Island, 1997
ISBN 10 : 0821805959
ISBN 13 : 9780821805954
Ancien ou d'occasion
Paperback
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 626603
Quantité disponible : 1 disponible(s)