With PCF theory, he showed that in spite of the undecidability of the most basic questions of cardinal arithmetic (such as the continuum hypothesis), there are still highly nontrivial ZFC theorems about cardinal exponentiation.
Prin teoria PCF a arătat că, în ciuda nedecidabilități celor mai fundamentale întrebări din aritmetica cardinalilor – precum ipoteza continuumului – încă există teoreme ZFC extrem de nontriviale privitoare la puterea cardinalilor.