© 1980 by London Mathematical Society
A Hall Criterion for Countable Families of Sets
Institut für Mathematik, Universität Hannover 3000 Hannover, W. Germany
Let F = (F(i)|i
I) be a countable family. By recursion we define subsets I
(B) of I and prove that there is an ordinal
such that F has an injective choice function if and only if |B|
|
{I
(B)|
<
) | for every finite set B.