Second order forcing, algebraically closed structures, and large cardinals
Tom 87 / 1975
Fundamenta Mathematicae 87 (1975), 141-160
DOI: 10.4064/fm-87-2-141-160