Zilber's conjecture for some o-minimal structures over the reals (Q1802184)

The author formulates an analogue of the Zil'ber conjecture, for o- minimal theories. The appropriate version of local modularity is the CF property, which says, roughly, that any definable family of many functions is expressible as a one-parameter family. He conjectures that in any o-minimal theory which does not have the CF property, there is a definable real closed field. In this direction, the following is proved: Suppose that \(N\) is an o-minimal expansion of \((\mathbb{R},<)\) with the partition condition (which says that any definable function is piecewise analytic, except on a set of small dimension), and let \(M= (\mathbb{R}, <, \dots)\) be a reduct of \(N\) which does not have the CF property; then in any \(M_ 1\) elementarily equivalent to \(M\), there is a real closed field definable on an interval of \(M_ 1\).