A former colleague has asked me about the complexity of this theory: a) when R is the reals, b) when R is the rationals and has also asked whether the two are elementarily equivalent. Information about the most recent results along these lines would be appreciated. Martin