Thomas Forster Richard Kaye End-Extensions Preserving Power Set. 323-328 1991 56 J. Symb. Log. 1 db/journals/jsyml/jsyml56.html#ForsterK91