David Guaspari Definability in Models of Set Theory. 9-19 1980 45 J. Symb. Log. 1 db/journals/jsyml/jsyml45.html#Guaspari80