Model-completeness for the lattice of finite unions of closed intervals of a dense linear order

Deacon Linkhorn

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in t…