1 problem

Let $G$ be a countable amenable group. An IP$^{*}$-set in $G$ is a set meeting the image of every increasing IP sequence, where an increasing IP sequence is a map…