English

Some implications of Ramsey Choice for n-element sets

Logic 2021-01-20 v2

Abstract

Let nωn\in\omega. The weak choice principle RCn\operatorname{RC}_n states that for every infinite set xx there is an infinite subset yxy\subseteq x with a choice function on [y]n:={zyz=n}[y]^n:=\{z\subseteq y\mid \lvert z\rvert =n\}. Cn\operatorname{C}_n^- states that for every infinite family of nn-element sets, there is an infinite subfamily GF\mathcal{G}\subseteq\mathcal{F} with a choice function. LOCn\operatorname{LOC}_n^- and WOCn\operatorname{WOC}_n^- are the same statement but we assume that the family F\mathcal{F} is linearly orderable (LOCn\operatorname{LOC}_n^-) or well-orderable (WOCn\operatorname{WOC}_n^-). In the first part of this paper we will give a full characterization of when the implication RCmWOCn\operatorname{RC}_m\Rightarrow \operatorname{WOC}_n^- with m,nωm,n\in\omega holds in ZF\operatorname{ZF}. We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part of we will show some generalizations. In particular we will show that RC5LOC5\operatorname{RC}_5\Rightarrow \operatorname{LOC}_5^- and RC6C3\operatorname{RC}_6\Rightarrow \operatorname{C}_3^-, answering two open questions from Halbeisen and Tachtsis. Furthermore we will show that RC6C9\operatorname{RC}_6\Rightarrow \operatorname{C}_9^- and RC7LOC7\operatorname{RC}_7\Rightarrow \operatorname{LOC}_7^-.

Keywords

Cite

@article{arxiv.2101.06924,
  title  = {Some implications of Ramsey Choice for n-element sets},
  author = {Lorenz Halbeisen and Salome Schumacher},
  journal= {arXiv preprint arXiv:2101.06924},
  year   = {2021}
}
R2 v1 2026-06-23T22:15:47.297Z