Some implications of Ramsey Choice for n-element sets
Logic
2021-01-20 v2
Abstract
Let . The weak choice principle states that for every infinite set there is an infinite subset with a choice function on . states that for every infinite family of -element sets, there is an infinite subfamily with a choice function. and are the same statement but we assume that the family is linearly orderable () or well-orderable (). In the first part of this paper we will give a full characterization of when the implication with holds in . 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 and , answering two open questions from Halbeisen and Tachtsis. Furthermore we will show that and .
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}
}