Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661913 | Annals of Pure and Applied Logic | 2013 | 19 Pages |
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