On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields

Abstract

Let 〈R, >,+,⋅〉 be a real closed field, and let M be an o-minimal expansion of R. We prove here several results regarding rings and groups which are definable in M. We show that every M–definable ring without zero divisors is definably isomorphic to R, R(√(−l)) or the ring of quaternions over R. One corollary is that no model of Texp is interpretable in a model of Tan.