1,122 research outputs found
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 disjoint-union partial algebra of sets but
prove that no finite axiomatisation exists. We do the same for other signatures
including one or both of disjoint union and subset complement, another partial
binary operation we define.
Domain-disjoint union is a partial binary operation on partial functions,
returning the union if the arguments have disjoint domains and undefined
otherwise. For each signature including one or both of domain-disjoint union
and subset complement and optionally including composition, we consider the
class of partial algebras isomorphic to a collection of partial functions
closed under the operations. Again the classes prove to be axiomatisable, but
not finitely axiomatisable, in first-order logic.
We define the notion of pairwise combinability. For each of the previously
considered signatures, we examine the class isomorphic to a partial algebra of
sets/partial functions under an isomorphism mapping arbitrary suprema of
pairwise combinable sets to the corresponding disjoint unions. We prove that
for each case the class is not closed under elementary equivalence.
However, when intersection is added to any of the signatures considered, the
isomorphism class of the partial algebras of sets is finitely axiomatisable and
in each case we give such an axiomatisation.Comment: 30 page
Axiomatizing complex algebras by games
Submitted versio
Strongly representable atom structures of relation algebras
Accepted versio
Regular Functors and Relative Realizability Categories
Relative realizability toposes satisfy a universal property that involves
regular functors to other categories. We use this universal property to define
what relative realizability categories are, when based on other categories than
of the topos of sets. This paper explains the property and gives a construction
for relative realizability categories that works for arbitrary base Heyting
categories. The universal property shows us some new geometric morphisms to
relative realizability toposes too
- …