Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662788 | Annals of Pure and Applied Logic | 2007 | 18 Pages |
Abstract
We characterize þ-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic