A relative consistency proof (1954)

by J Shoenfield
Venue:Journal of Symbolic Logic