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