En 1977, hizo una reformulación de la teoría ergódica, y posteriormente la prueba del teorema de Szemerédi.