Rami P. Grossberg Models with Second Order Properties in Successors of Singulars. 122-137 1989 54 J. Symb. Log. 1 db/journals/jsyml/jsyml54.html#Grossberg89