Search

• < Previous
• 1
• Next >

---

Preservation theorems for Tarski's relation algebra

Bart Bogaerts ; Balder ten Cate ; Brett McLean ; Jan Van den Bussche.

We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they are generated by a finite set of operations. We obtain several positive and negative results along these lines.&nbsp;[&hellip;]

---

Disjoint-union partial algebras

Robin Hirsch ; Brett McLean.

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&nbsp;[&hellip;]

---