Open core and small groups in dense pairs of topological structures
Abstract
Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to the predicate. For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2018
- DOI:
- 10.48550/arXiv.1801.08744
- arXiv:
- arXiv:1801.08744
- Bibcode:
- 2018arXiv180108744B
- Keywords:
-
- Mathematics - Logic;
- 03C64;
- 03C45
- E-Print:
- This paper generalizes the results of the previous version "Small groups in dense pairs"