George P. Rédei's scientific contributions