The model theory of the field of reals with a subgroup of the unit circle

We describe definable sets in the field of reals augmented by a predicate for a finite rank multiplicative group Γ of complex numbers contained in the unit circle . This structure interprets the quotient-space /Γ which, for Γ infinite cyclic, is related to the quantum torus. Every definable set is p...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Belegradek, O, Zilber, B
Materialtyp: Journal article
Språk:English
Publicerad: 2008