Kenneth Kunen Saturated Ideals. 65-76 1978 43 J. Symb. Log. 1 db/journals/jsyml/jsyml43.html#Kunen78