8 citations · 26 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.RA2019
Amalgamating poset extensions and generating free lattices
Rob Egrot
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the fre…
math.LO2019
Recursive axiomatisations from separation properties
Rob Egrot
We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use m…
cs.LO2019★ 1 cited
Order polarities
Rob Egrot
We define an order polarity to be a polarity where and are partially ordered, and we define an extension polarity to be a triple such that $e_X:P\to…