"Some model theory of the field of reals with a subgroup of the unit circle"

 Oleg Belegradek (Bilgi University, Istanbul)

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.