The model theory of the field of reals with a subgroup of the unit circle
Küçük Resim Yok
Tarih
2008
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Wiley
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
We describe definable sets in the field of reals augmented by a predicate for a finite rank multiplicative group Gamma of complex numbers contained in the unit circle . This structure interprets the quotient-space /Gamma which, for Gamma 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.
Açıklama
Anahtar Kelimeler
Kaynak
Journal of The London Mathematical Society-Second Series
WoS Q Değeri
Q2
Scopus Q Değeri
Q1
Cilt
78
