Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 (1969), pp. 219–225. | Publicación