The model theory of the field of reals with a subgroup of the unit circle
dc.contributor.author | Belegradek, Oleg | |
dc.contributor.author | Zilber, Boris | |
dc.date.accessioned | 2024-07-18T20:47:36Z | |
dc.date.available | 2024-07-18T20:47:36Z | |
dc.date.issued | 2008 | |
dc.department | İstanbul Bilgi Üniversitesi | en_US |
dc.description.abstract | 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. | en_US |
dc.identifier.doi | 10.1112/jlms/jdn037 | |
dc.identifier.endpage | 579 | en_US |
dc.identifier.issn | 0024-6107 | |
dc.identifier.issn | 1469-7750 | |
dc.identifier.scopus | 2-s2.0-56449099546 | en_US |
dc.identifier.scopusquality | Q1 | en_US |
dc.identifier.startpage | 563 | en_US |
dc.identifier.uri | https://doi.org/10.1112/jlms/jdn037 | |
dc.identifier.uri | https://hdl.handle.net/11411/7863 | |
dc.identifier.volume | 78 | en_US |
dc.identifier.wos | WOS:000260976000002 | en_US |
dc.identifier.wosquality | Q2 | en_US |
dc.indekslendigikaynak | Web of Science | en_US |
dc.indekslendigikaynak | Scopus | en_US |
dc.language.iso | en | en_US |
dc.publisher | Wiley | en_US |
dc.relation.ispartof | Journal of The London Mathematical Society-Second Series | en_US |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.title | The model theory of the field of reals with a subgroup of the unit circle | |
dc.type | Article |