Undecidable semiassociative relation algebras (Q4302341)
From MaRDI portal
scientific article; zbMATH DE number 618222
Language | Label | Description | Also known as |
---|---|---|---|
English | Undecidable semiassociative relation algebras |
scientific article; zbMATH DE number 618222 |
Statements
Undecidable semiassociative relation algebras (English)
0 references
15 August 1994
0 references
relation algebras
0 references
cylindric algebras
0 references
word problem
0 references
free algebra
0 references
undecidable theories
0 references
hereditarily undecidable theories
0 references