Journal of Symbolic Logic 59 (2):398-418 (1994)
If K is a class of semiassociative relation algebras and K contains the relation algebra of all binary relations on a denumerable set, then the word problem for the free algebra over K on one generator is unsolvable. This result implies that the set of sentences which are provable in the formalism Lwx is an undecidable theory. A stronger algebraic result shows that the set of logically valid sentences in Lwx forms a hereditarily undecidable theory in Lwx. These results generalize similar theorems, due to Tarski, concerning relation algebras and the formalism Lx
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Algebraic Logic, Where Does It Stand Today?Sayed Ahmed Tarek - 2005 - Bulletin of Symbolic Logic 11 (4):465-516.
Similar books and articles
Weakly Associative Relation Algebras with Polyadic Composition Operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
Relation Algebras of Every Dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Decision Problems for Classes of Diagonalizable Algebras.Aldo Ursini - 1985 - Studia Logica 44 (1):87 - 89.
Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andreka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Undecidable Relativizations of Algebras of Relations.Szabolcs Mikulás & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Added to index2009-01-28
Total downloads8 ( #476,549 of 2,146,883 )
Recent downloads (6 months)1 ( #385,700 of 2,146,883 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.