2 problems

Model-completeness conjecture. The theory $T$ is model complete if and only if $N$ is of type I.

Let $\mathcal{R}_{\wp}$ be the structure introduced in the paper for the Weierstrass function, and consider reducts obtained by omitting the restricted sine function, the exponenti…