Second order forcing, algebraically closed structures, and large cardinals G. Cherlin — 1975 Fundamenta Mathematicae