Some applications of the notions of forcing and generic sets (1965)

by S Feferman
Venue:Fundamenta Mathematicae