Expansions of the real field by canonical products

Abstract

We consider expansions of o-minimal structures on the real field by collections of restrictions to the positive real line of the canonical Weierstrass products associated to sequences such as $(-n^s)_{n>0}$ (for $s>0$) and $(-s^n)_{n>0}$ (for $s>1$), and also expansions by associated functions such as logarithmic derivatives. There are only three possible outcomes known for the resulting structures: (i)~o-minimality; (ii)~d-minimality (but not o-minimality); (iii)~definability of $\mathbb{Z}$.