Undecidable semiassociative relation algebras
From MaRDI portal
Publication:4302341
DOI10.2307/2275397zbMath0815.03041MaRDI QIDQ4302341
Publication date: 15 August 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275397
free algebra; word problem; relation algebras; undecidable theories; cylindric algebras; hereditarily undecidable theories
03D35: Undecidability and degrees of sets of sentences
03D40: Word problems, etc. in computability and recursion theory
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Cites Work