1 problem

Let $\str{H}$ be the countable, $\omega$-categorical structure constructed using the Hrushovski predimension construction, and let $\Gamma$ be the amenable subgroup of…