4 citations · 6 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2017
Ordered Monoids: Languages and Relations
Szabolcs Mikulas
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as…
math.LO2014
The algebra of functions with antidomain and range
Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. Th…