Oleg Belegradek (Bilgi University, Istanbul)"Some model theory of the field of reals with a subgroup of the unit circle"

*Abstract*

This is a joint work with Boris Zilber. We describe sets in the field of reals augmented by a binary predicate for a finite rank multiplicative group of complex numbers contained in the unit circle. Every definable set is proven to be a Boolean combination of existentially definable sets. We give a complete set of axioms for the theory of such a structure.

*Conferinta
are loc in cadrul Proiectului CEx-M3-249 / 2006, *

*cu sprijinul SOFTWIN GROUP
*

*caruia
ii multumim pentru amabilitate.*