Relation algebras can tile

DOI10.1016/S0020-0255(99)00013-4MaRDI QIDQ1961863zbMATH OpenFDO

Authors Maarten Marx

Publication date 5 July 2000

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

tilingdecidabilityundecidabilityequational theoryrelation algebrasrelational type algebras

Mathematics Subject Classification ID

Combinatorial aspects of tessellation and tiling problems (05B45) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 638616
• Decision problems for equational theories of relation algebras
• Complexity of equational theory of relational algebras with standard projection elements
• Undecidable relativizations of algebras of relations
• Representability is not decidable for finite relation algebras

Cites work

• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 67039 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• Cylindric algebras. Part II
• Decidability of Relation Algebras with Weakened Associativity
• Decidable and undecidable logics with a binary modality
• Pair-Dense Relation Algebras
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Some Varieties Containing Relation Algebras
• The equational theory of CA₃ is undecidable
• The undecidability of the domino problem
• Undecidable semiassociative relation algebras
• Varieties of complex algebras

Cited in

(2)

• scientific article; zbMATH DE number 150219 (Why is no real title available?)
• Representability is not decidable for finite relation algebras

This page was built for publication: Relation algebras can tile

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961863)