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

dc.contributor.authorBelegradek, Oleg
dc.contributor.authorZilber, Boris
dc.date.accessioned2024-07-18T20:47:36Z
dc.date.available2024-07-18T20:47:36Z
dc.date.issued2008
dc.departmentİstanbul Bilgi Üniversitesien_US
dc.description.abstractWe 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.en_US
dc.identifier.doi10.1112/jlms/jdn037
dc.identifier.endpage579en_US
dc.identifier.issn0024-6107
dc.identifier.issn1469-7750
dc.identifier.scopus2-s2.0-56449099546en_US
dc.identifier.scopusqualityQ1en_US
dc.identifier.startpage563en_US
dc.identifier.urihttps://doi.org/10.1112/jlms/jdn037
dc.identifier.urihttps://hdl.handle.net/11411/7863
dc.identifier.volume78en_US
dc.identifier.wosWOS:000260976000002en_US
dc.identifier.wosqualityQ2en_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.language.isoenen_US
dc.publisherWileyen_US
dc.relation.ispartofJournal of The London Mathematical Society-Second Seriesen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.titleThe model theory of the field of reals with a subgroup of the unit circle
dc.typeArticle

Dosyalar