Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2021

4 Rich groups, weak second-order logic, and applications

Olga Kharlampovich , Alexei Myasnikov and Mahmood Sohrabi


In this chapter 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 quite a few finitely generated rich groups, they are somewhere inbetween hyperbolic and nilpotent groups (these are not rich). We provide some methods to prove that groups (and other structures) are rich and describe some of their properties. As corollaries we look at Malcev’s problems in various groups.

© 2021 Walter de Gruyter GmbH, Berlin/Munich/Boston
Downloaded on 1.12.2022 from
Scroll Up Arrow