The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
نویسنده
چکیده
An ordered monoid is a structure with an identity element (1′), a binary composition operator (;) and an antisymmetric partial order (≤), satisfying certain axioms. A representation of an ordered monoid is a 1-1 map which maps elements of an ordered monoid to binary relations in such a way that 1′ is mapped to the identity relation, ; corresponds to composition of binary relations and ≤ corresponds to inclusion of binary relations. We devize a two player game that tests the representability of an ordered monoid n times and show that these games characterise representability. From this we obtain a recursively enumerable, universal axiomatisation of the class of all representable ordered monoids. For each n < ω we construct an unrepresentable ordered monoid An and show that the second player has a winning strategy in a game of length n. Hence we prove that the class of all representable ordered monoids is not finitely axiomatisable. Relation Algebras are badly behaved in a number of ways. The class of representable relation algebras cannot be defined by finitely many axioms [Mon64], nor by any set of equations using a finite number of variables [Jón91], nor by any Sahlqvist theory [Ven97], the equational theory of relation algebras and the equational theory of representable relation algebras is undecidable [Tar41], the problem of determining whether a finite relation algebra is representable or not is itself undecidable [HH01]. An important line of research is to consider reducts of relation algebras, by dropping some of the operators from the signature. We aim to find out exactly what causes this “bad behaviour” and how it can be avoided. Mikulás has surveyed much of this research [Mik03]. In the current paper we consider algebras in the reduced signature {≤, 1′, ; }. Such an algebra is representable if its elements can be interpretted as binary relations over some domain in such a way that ≤ is represented as inclusion of
منابع مشابه
Non-finitely axiomatisable two-dimensional modal logics
We show the first examples of recursively enumerable (even decidable) two-dimensional products of finitely axiomatisable modal logics that are not finitely axiomatisable. In particular, we show that any axiomatisation of some bimodal logics that are determined by classes of product frames with linearly ordered first components must be infinite in two senses: It should contain infinitely many pr...
متن کاملNon-computability of the Equational Theory of Polyadic Algebras
In [3] Daigneault and Monk proved that the class of (ω dimensional) representable polyadic algebras (RPAω for short) is axiomatizable by finitely many equationschemas. However, this result does not imply that the equational theory of RPAω would be recursively enumerable; one simple reason is that the language of RPAω contains a continuum of operation symbols. Here we prove the following. Roughl...
متن کاملDisjoint-union partial algebras
Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are defined. We provide a recursive first-order axiomatisation of the class of partial algebras isomorphic to a disjointunion partial algebra of sets but prove that ...
متن کاملFinite Frames for K4.3 x S5 Are Decidable
If a modal logic L is finitely axiomatisable, then it is of course decidable whether a finite frame is a frame for L: one just has to check the finitely many axioms in it. If L is not finitely axiomatisable, then this might not be the case. For example, it is shown in [7] that the finite frame problem is undecidable for every L between the product logics K ×K ×K and S5 × S5 × S5. Here we show t...
متن کاملOn Finitely Presented Expansions of Computably Enumerable Semigroups
Every computable universal algebra has a finitely presented expansion, but there are examples of finitely generated, computably enumerable universal algebras with no finitely presented expansions. It is natural to ask whether such examples can be found in well-known classes of algebras such as groups and semigroups. In this paper, we build an example of a finitely generated, infinite, computabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 13 شماره
صفحات -
تاریخ انتشار 2005