Set-mappings on Dedekind sets (Q908905)

Let \([X]^{wo}\) denote the ideal of well-orderable subsets of X. Taking off on the work of \textit{C. Freiling} [J. Symb. Logic 51, 190-200 (1986; Zbl 0619.03035)], the author proves: Theorem 1: In ZF, the following assertions are equivalent: (i) AC, (ii) For every set-mapping f: \(X\to [X]^{wo}\), there is a co-well-orderable free set H (i.e., \(X-H\in [X]^{wo})\), (iii) For every set mapping f: \(\kappa\) \(\to [\kappa]^{<\lambda}\), \(\lambda <| \kappa |\) (\(\lambda\) a well-orderable cardinal number, \(| \kappa |\) the not necessarily well-orderable Scott cardinal number of \(\kappa)\), there is a free set H of cardinality \(| \kappa |\), (iv) If S: \(X^{\leq \vartheta}\to P(E)\) is a ramification system, then, for each \(g\in E\), there is an f which is maximal (with respect to inclusion) in \(\{h\in X^{\leq \vartheta}:\) \(g\in S(h)\}\). Now consider the proposition \(PAC_{fin}:\) Every infinite family of nonempty finite sets has an infinite subfamily with a choice function. Let W be the statement that all Dedekind-finite sets are finite. If we omit ``finite'' from \(PAC_{fin}\), the result turns out to be equivalent to the countable axiom of choice \(AC^{\omega}\), whereas, if we restrict \(PAC_{fin}\) to countable families, the result is equivalent to \(AC^{\omega}_{fin}\), the axiom of choice for countable families of finite sets. In ZF, we have \(AC^{\omega}\Rightarrow W\Rightarrow PAC_{fin}\Rightarrow AC^{\omega}_{fin}\). The author proves: Theorem 2: In ZF, \(PAC_{fin}\) is equivalent to the assertion that every set-mapping f: \(X\to [X]^{wo}\), \(x\not\in f(x)\), on a Dedekdind-finite infinite set X has an infinite free subset. Moreover, \(AC^{\omega}_{fin}\) is equivalent to the modified statement that every such mapping has arbitrarily large finite free subsets.