A consistency result concerning set mappings (Q1320471)

The author proves that it is consistent that there is a set mapping \(f: [\omega_ 3]^ 2\to [\omega_ 3]^ 1\) with no uncountable free set. (A set \(X\subseteq\omega_ 3\) is free for \(f\) provided that \(\gamma\notin f(\alpha,\beta)\) for all distinct \(\alpha,\beta,\gamma\in \omega_ 3\).) An earlier result of \textit{A. Hajnal} and \textit{A. Máté} [Logic Colloq. '73, Proc., Bristol 1973, 347-379 (1975; Zbl 0324.04004)] showed that it is consistent with \(2^ \omega= \omega_ 2\) that there is a set mapping \(f: [\omega_ 2]^ 2\to [\omega_ 2]^ 1\) with no uncountable free set. The key step of the author's argument is to show the consistency of a set mapping \(f: [\omega_ 3]\to [\omega_ 3]^{\aleph_ 0}\) with no uncountable free set. This is achieved by a variant of a forcing construction of \textit{J. E. Baumgartner} and \textit{S. Shelah} [Ann. Pure Appl. Logic 33, 109-129 (1987; Zbl 0643.03038)].