Article ID Journal Published Year Pages File Type
4661913 Annals of Pure and Applied Logic 2013 19 Pages PDF
Abstract

We study first-order expansions of ordered fields that are definably complete, and moreover either are locally o-minimal, or have a locally o-minimal open core. We give a characterisation of structures with locally o-minimal open core, and we show that dense elementary pairs of locally o-minimal structures have locally o-minimal open core.

Related Topics
Physical Sciences and Engineering Mathematics Logic