Definable sets in Mann pairs
Communications in Algebra, cilt.39, sa.8, ss.2752-2763, 2011 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 39 Sayı: 8
- Basım Tarihi: 2011
- Doi Numarası: 10.1080/00927872.2010.489919
- Dergi Adı: Communications in Algebra
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.2752-2763
- Anahtar Kelimeler: Definability, Mann pairs, Model theory
- Boğaziçi Üniversitesi Adresli: Evet
Özet
Consider structures (ω,k,γ) where ω is an algebraically closed field of characteristic zero, k is a subfield, and γ is a subgroup of the multiplicative group of ω. Certain pairs (k,γ) have been singled out as Mann pairs in [4]. We give new examples of such Mann pairs, we axiomatize for each Mann pair (k,γ) the first-order theory of (ω,k,γ) in a cleaner way than in [4], and, as the main result of the article, we characterize the subsets of ωn that are definable in (ω,k,γ). ©Taylor & Francis Group, LLC.