Submission date: 1 March 2006

Abstract:

We describe definable relations in the real field augmented by a binary relation which is an arbitrary multiplicative group of complex numbers contained in the divisible hull of a finitely generated subgroup of the unit circle. We give a complete axiom system for this structure which admits quantifier elimination down to Booleam combinations of existential formulas of a special simple form.

Mathematics Subject Classification: 03C60

Full text: posted on the Newton preprint server