1 problem

Let $\langle G,*\rangle$ be a definable group. A group is small if it is a definable set of the corresponding smallness notion in the dense expansion, and a group is $\bigvee$-defi…