He generalized the Prikry forcing in order to change the cofinality of a large cardinal to a predetermined regular cardinal. Il a généralisé le forcing de Prikry (en) afin de changer la cofinalité d'un grand cardinal pour un cardinal régulier prédéterminé.