Thu, 25 Jan 2007 11:00 SR1 Adding a multiplicative group to a polynomially bounded structure. Alex Wilkie (Oxford)