Model-theoretic Tameness in finite extensions of groups

Abstract

It is shown that finite-index extensions and finite-index subgroups of $\omega$-stable groups can be model-theoretically wild. More precisely, there exists an $\omega$-stable group $G$ such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of $G$ and in some finite-index subgroup of $G$.