Enriching a predicate and tame expansions of the integers

Gabriel Conant, Christian d'Elbée, Yatir Halevi +2

Given a structure $\mathcal{M}$ and a stably embedded $\varnothing$-definable set $Q$, we prove tameness preservation results when enriching the induced structure on $Q$ by some furt…