Abstract
We formulate an analogue of Zilber's conjecture for o-minimal structures in general, and then prove it for a class of o-minimal structures over the reals. We conclude in particular that if M is an ordered reduct of 〈R,<,+,·,ex〉 whose theory T does not have the CF property then, given any model N of T, a real closed field is definable on a subinterval of N.
Original language | English |
---|---|
Pages (from-to) | 223-239 |
Number of pages | 17 |
Journal | Annals of Pure and Applied Logic |
Volume | 61 |
Issue number | 3 |
DOIs | |
State | Published - 11 Jun 1993 |
Externally published | Yes |
ASJC Scopus subject areas
- Logic