Rich groups, weak second order logic, and applications

Olga Kharlampovich, Alexei Myasnikov, Mahmood Sohrabi

In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are qu…