"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.