2 problems

Let $\bar{\mathbb{R}}$ be the real field, let $G$ be a subgroup of $\mathbb{C}^{\times}$, and let $S_\alpha$ denote the structure used in $(\bar{\mathbb{R}},S_\alpha)$. Write…

Let $\bar{\mathbb{R}}$ be the real field, let $\bar{\mathbb{R}}_{\operatorname{Pow}}$ be its expansion by all functions $t\mapsto t^r$ from $\mathbb{R}_{>0}$ to $\mathbb{R}_{>0}$ w…