Partial choice functions for families of finite sets

Eric J. Hall, Saharon Shelah

Let m>2 be an integer. We show that ZF + "For every integer n, Every countable family of non-empty sets of cardinality at most n has an infinite partial choice function" is not str…