Marco Forti Furio Honsell The Consistency of the Axiom of Universality for the Ordering of Cardinalities. 502-509 1985 50 J. Symb. Log. 2 db/journals/jsyml/jsyml50.html#FortiH85