Marco Forti Furio Honsell Choice Principles in Hyperuniverses. 35-52 1996 77 Ann. Pure Appl. Logic 1 db/journals/apal/apal77.html#FortiH96