Decision Problems for Equational Theories of Relation Algebras - Couverture souple

American Mathematical Society

Couverture souple

ISBN 10 : 0821805959 ISBN 13 : 9780821805954

Editeur : American Mathematical Society, 1997

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.

Détails de l'édition

• Éditeur: American Mathematical Society
• Date d'édition: 1997
• Langue: anglais
• ISBN 10: 0821805959
• ISBN 13: 9780821805954
• Reliure: Broché
• Nombre de pages: 126
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible