English

A New Weak Choice Principle

Logic 2026-02-25 v1

Abstract

For every natural number nn we introduce a new weak choice principle nRCfin\mathrm{nRC_{fin}}: Given any infinite set xx, there is an infinite subset yxy\subseteq x and a selection function ff that chooses an nn-element subset from every finite zyz\subseteq y containing at least nn elements. By constructing new permutation models built on a set of atoms obtained as Fra\"iss\'e limits, we will study the relation of nRCfin\mathrm{nRC_{fin}} to the weak choice principles RCm\mathrm{RC_m} (that has already been studied by Montenegro, Halbeisen and Tachtsis): Given any infinite set xx, there is an infinite subset yxy\subseteq x with a choice function ff on the family of all mm-element subsets of yy. Moreover, we prove a stronger analogue of Montenegros results when we study the relation between nRCfin\mathrm{nRC_{fin}} and kCfin\mathrm{kC_{fin}^-} which is defined by: Given any infinite family F\mathcal{F} of finite sets of cardinality greater than kk, there is an infinite subfamily AF\mathcal{A}\subseteq \mathcal{F} with a selection function ff that chooses a kk-element subset from each AAA\in\mathcal{A}.

Keywords

Cite

@article{arxiv.2101.07840,
  title  = {A New Weak Choice Principle},
  author = {Lorenz Halbeisen and Riccardo Plati and Salome Schumacher},
  journal= {arXiv preprint arXiv:2101.07840},
  year   = {2026}
}
R2 v1 2026-06-23T22:19:50.008Z