出版社：Philosophy Department, University of Melbourne
摘要：Extending a construction of Andreka, Givant, and Nemeti (2019), we construct some finite vector spaces and use them to build finite non-representable relation algebras. They are simple, measurable, and persistently finite, and they validate arbitrary finite sets of equations that are valid in the variety RRA of representable relation algebras. It follows that there is no finitely axiomatisable class of relation algebras that contains RRA and validates every equation that is both valid in RRA and preserved by completions of relation algebras. Consequently, the variety generated by the completions of representable relation algebras is not finitely axiomatisable. This answers a question of Maddux (2018).
关键词：Non-representable simple measurable persistently finite relation algebras;
completions of relation algebras; non-finitely axiomatisable varieties of relation algebras;
