English

Pathological examples of structures with o-minimal open core

Logic 2021-01-08 v1

Abstract

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure R\mathcal{R} by a unary predicate such that its open core is a proper o-minimal expansion of R\mathcal{R}. We give an example of a structure that has an o-minimal open core and the exchange property, yet defines a function whose graph is dense. Finally, we produce an example of a structure that has an o-minimal open core and definable Skolem functions, but is not o-minimal.

Cite

@article{arxiv.2101.02651,
  title  = {Pathological examples of structures with o-minimal open core},
  author = {Alexi Block Gorman and Erin Caulfield and Philipp Hieronymi},
  journal= {arXiv preprint arXiv:2101.02651},
  year   = {2021}
}

Comments

14 pages

R2 v1 2026-06-23T21:53:23.326Z