M. Randall Holmes Strong Axioms of Infinity in NFU. 87-116 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#Holmes01