M.: A Version of for which ZFC Can Not Predict a Single Bit, in: Finite Versus Infinite. Contributions to an Eternal Dilemma (2000)

by R Solovay