Article ID Journal Published Year Pages File Type
4662788 Annals of Pure and Applied Logic 2007 18 Pages PDF
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