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...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2008
|