Hall families and the marriage problem

An Effective Version of Hall's Theorem

“…Finally, we use our condition to derive a noneffective result for countable graphs with infinite degree. The reader is referred to Holz, Podewski, and Steffens [1979] for further results of this nature.…”