Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2213

Preprint Number 2213

Previous Next Preprint server

2213. Deacon Linkhorn
Model-completeness for the lattice of finite unions of closed intervals

Submission date: 16 July 2022


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 the setting of o-minimality, as these are precisely the closed definable sets in any o-minimal expansion of I. Our main result says that L(I), the expansion of the lattice by constants for the empty set and the smallest element of I (viewed as a singleton subset) as well as four unary functions, is model-complete. The proof of the main result makes use of previous results regarding the weak monadic second order theory of I from the authors PhD thesis.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2207.07884: pdf, ps.

Last updated: August 1 2022 11:36 Please send your corrections to: