3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Diane Maclagan
A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < b…