8 citations · 26 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.RA2018
Categories of frame-completions and join-specifications
Rob Egrot
Given a poset , a join-specification for is a set of subsets of whose joins are all defined. The set of downsets closed under join…
math.LO2018★ 1 cited
Recursive axiomatizations for representable posets
Rob Egrot
We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation i…