Locally o-minimal open core
Logic
2026-01-27 v1
Abstract
We demonstrate that the open core of a definably complete expansion of a densely linearly ordered abelian group is locally o-minimal if and only if any definable closed subset of is either discrete or contains a nonempty open interval. Here, the notation denotes the universe of the original structure.
Keywords
Cite
@article{arxiv.2111.08197,
title = {Locally o-minimal open core},
author = {Masato Fujita},
journal= {arXiv preprint arXiv:2111.08197},
year = {2026}
}