G. P. Monro On Generic Extensions Without the Axiom of Choice. 39-52 1983 48 J. Symb. Log. 1 db/journals/jsyml/jsyml48.html#Monro83