Thorn independence in the field of real numbers with a small multiplicative group (Q2463479): Difference between revisions

Building on results of \textit{L. van den Dries} and \textit{A. Günaydin} in [``The fields of real and complex numbers with a small multiplicative group'', Proc. Lond. Math. Soc. (3) 93, No. 1, 43--81 (2006; Zbl 1101.03028)], the authors investigate the model theory of pairs \((R, G)\) where \(R\) is a real closed field, and \(G\) is a dense multiplicative subgroup of \(R^{>0}\) with the Mann property and such that for each prime number \(p\), the subgroup of the \(p\)th powers in \(G\) has finite index in \(G\). Among others, they show that such structures are super-rosy and eliminate imaginaries up to codes for small sets.