Decision Problems for Equational Theories of Relation Algebras

Decision Problems for Equational Theories of Relation Algebras
Author :
Publisher : American Mathematical Soc.
Total Pages : 146
Release :
ISBN-10 : 9780821805954
ISBN-13 : 0821805959
Rating : 4/5 (959 Downloads)

Book Synopsis Decision Problems for Equational Theories of Relation Algebras by : H. Andréka

Download or read book Decision Problems for Equational Theories of Relation Algebras written by H. Andréka and published by American Mathematical Soc.. This book was released on 1997 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: "We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group relation algebra on some infinite group (or on arbitrarily large finite groups), must have an undecidable equational theory. Then we construct an embedding of the lattice of all subsets of the natural numbers into the lattice of varieties of relation algebras such that the variety correlated with a set [italic capital]X of natural numbers has a decidable equational theory if and only if [italic capital]X is a decidable (i.e., recursive) set. Finally, we construct an example of an infinite, finitely generated, simple, representable relation algebra that has a decidable equational theory.'' -- Abstract.


Decision Problems for Equational Theories of Relation Algebras Related Books

Decision Problems for Equational Theories of Relation Algebras
Language: en
Pages: 146
Authors: H. Andréka
Categories: Mathematics
Type: BOOK - Published: 1997 - Publisher: American Mathematical Soc.

GET EBOOK

"We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group rel
Decision Problems for Equational Theories of Relation Algebras
Language: en
Pages: 148
Authors: H. Andréka
Categories: Mathematics
Type: BOOK - Published: 1997-01-01 - Publisher: American Mathematical Soc.

GET EBOOK

This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily a
Logic as Algebra
Language: en
Pages: 153
Authors: Paul Halmos
Categories: Mathematics
Type: BOOK - Published: 2019-01-30 - Publisher: American Mathematical Soc.

GET EBOOK

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results fr
Cyclic Feedback Systems
Language: en
Pages: 89
Authors: Tomáš Gedeon
Categories: Mathematics
Type: BOOK - Published: 1998 - Publisher: American Mathematical Soc.

GET EBOOK

Explores the global dynamics of a class of ordinary differential equations called cyclic feedback systems. The global dynamics is described by a Morse decomposi
Higher Initial Ideals of Homogeneous Ideals
Language: en
Pages: 82
Authors: Gunnar Fløystad
Categories: Mathematics
Type: BOOK - Published: 1998 - Publisher: American Mathematical Soc.

GET EBOOK

Given a homogeneous ideal I and a monomial order, the initials ideal in (I) can be formed. The initial idea gives information about I, but quite a lot of inform