On Ramsey choice and partial choice for infinite families of \(n\)-element sets (Q781507)

For \(n \geq 2\), the Ramsey choice \(\mathrm{RC}_n\) is the following weak choice principle ``every infinite set \(x\) has an infinite subset \(y\) such that \([y]^n\) has a choice function'' and \(\mathrm{C}_n^{-}\) is the weak principle ``every infinite family of \(n\)-element sets has an infinite subfamily with a choice function''. Montenegro showed that for \(n = 2,3,4\), \(\mathrm{RC}_n \rightarrow \mathrm{C}_n^{-}\) and asked for which \(n\) is the implication \(\mathrm{RC}_n \rightarrow \mathrm{C}_n^{-}\) true. Here, the authors obtain various results concerning the connection between \(\mathrm{RC}_n\) and \(\mathrm{C}_n^{-}\). So they show that for \(n=2,3\), \(\mathrm{RC}_5 + \mathrm{C}_n^{-}\) implies \(\mathrm{C}_5^{-}\) and that \(\mathrm{RC}_5\) implies neither \(\mathrm{C}_2^{-}\) nor \(\mathrm{C}_3^{-}\) in ZF set theory. In order to show their results, they make use of Fraenkel-Mostowski models for ZFA and apply the Pincus transfer theorem to obtain ZF results. The chain-antichain principle CAC is the following statement: Every infinite partially ordered set has either an infinite chain or an infinite antichain. The authors show that CAC implies neither \(RC_n\) nor \(\mathrm{C}_n^{-}\) in ZF for every \(n\geq 2\).