{"id":"arxiv/2605.13683","url":"https://arxiv.org/abs/2605.13683","tags":["math.LO"],"score":0,"title":"O-minimal open core is not an elementary property","domain":"math.LO","source":"arxiv","authors":["Alexi Block Gorman","Esther Elbaz Saban"],"reviews":0,"subject":"math.LO","summary":"Given a structure $\\mathcal{M}$ with a definable topology, its open core is a structure defined on the same universe whose language consists of all open sets of all arities definable in $\\mathcal{M}$. In response to questions raised by Dolich, Miller, and Steinhorn in their early work on open core, we prove that having an o-minimal open core is not an elementary property. In particular, we construct an expansion of the structure $(\\mathbb{Q},<)$ that has an o-minimal open core, but some of its elementary superstructures do not.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}