A Dolich, C Miller, C Steinhorn - Transactions of the American Mathematical …, 2010 - ams.org
The open core of an expansion of a dense linear order is its reduct, in the sense of
definability, generated by the collection of all of its open definable sets. In this paper …