Some definitions of finiteness
John L. Hickman · Bulletin of the Australian Mathematical Society · 1971
Since Paul J. Cohen's 1963 result, it has been possible to investigate the consequences of the axioms of Zermelo-Fraenkel set theory without the Axiom of Choice. In this paper we examine the relative strengths of a number of finiteness criteria against the background of ZF set theory without AC.