Author:
Hirsch Robin,Jackson Marcel
Abstract
AbstractIn this article we establish the undecidability of representability and of finite representability as algebras of binary relations in a wide range of signatures. In particular, representability and finite representability are undecidable for Boolean monoids and lattice ordered monoids, while representability is undecidable for Jónsson's relation algebra. We also establish a number of undecidability results for representability as algebras of injective functions.
Publisher
Cambridge University Press (CUP)
Reference62 articles.
1. An Invitation to C-semigroups
2. On the ‘union-relation composition’ reducts of relation algebras;Andréka;Abstracts of Papers Presented to the American Mathematical Society,1989
3. On certain classes of semigroups of binary relations;Schein;Rossisškaya Akademiya Nauk. Sibirskoe Otdelenie,1965
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献