Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 9

Preprint Number 9

Previous Next Preprint server

9. O. Belegradek, B. Zilber
Definable relations in the real field with a distinguished subgroup of the unit circle

Submission date: 1 March 2006


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

Last updated: March 23 2021 09:23 Please send your corrections to: