En la teoría de conjuntos realizó importantes contribuciones para el axioma de elección y la hipótesis del continuo.