科研之友
微信
新浪微博
Facebook
分享链接
摘要
In 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 Jonsson%26apos;s relation algebra. We also establish a number of undecidability results for representability is algebras of injective functions.
- 出版日期2012-12
