References & Citations
Mathematics > Logic
Title: A pathological o-minimal quotient
(Submitted on 11 Apr 2014 (v1), last revised 25 Nov 2019 (this version, v2))
Abstract: We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an o-minimal structure M whose elementary diagram does not eliminate imaginaries. We also give a positive answer to a related question, showing that any imaginary in an o-minimal structure is interdefinable over an independent set of parameters with a tuple of real elements. This can be interpreted as saying that interpretable sets look "locally" like definable sets, in a sense which can be made precise.
Submission history
From: Will Johnson [view email][v1] Fri, 11 Apr 2014 18:16:01 GMT (7kb)
[v2] Mon, 25 Nov 2019 01:37:42 GMT (0kb,I)
Link back to: arXiv, form interface, contact.