Sergei Chernikov

Sergei Nikolaevich Chernikov was a Russian mathematician who contributed significantly to the development of infinite group theory and linear inequalities.