A relative consistency proof (1954)

by Joseph R Shoenfield
Venue:Journal of Symbolic Logic