Journal title
Journal of the London Mathematical Society
DOI
10.1112/jlms/jdn037
Issue
3
Volume
78
Last updated
2023-10-03T06:49:00.647+01:00
Page
563-579
Abstract
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 proved to be a Boolean combination of existentially definable sets. We give a complete set of axioms for the theory of such a structure. © 2008 London Mathematical Society.
Symplectic ID
4479
Submitted to ORA
Off
Favourite
On
Publication type
Journal Article
Publication date
01 Jan 2008