arXiv subjects

Salome Schumacher

Publications and source records attributed to Salome Schumacher.

3 recordsLinked to original sources

arXiv2023

Four Cardinals and Their Relations in ZF

For a set $M$, $\operatorname{fin}(M)$ denotes the set of all finite subsets of $M$, $M^2$ denotes the Cartesian product $M\times M$, $[M]^2$ denotes the set of all $2$-element subsets of $M$, and $\operatorname{seq}^{1-1}(M)$ denotes the set of all finite sequences without repetition which can be formed with elements of $M$. Furthermore, for a set $S$, let $|S|$ denote the cardinality of $S$. Under the assumption that the four cardinalities $|[M]^2|$, $|M^2|$, $|\operatorname{fin}(M)|$, $|\operatorname{seq}^{1-1}(M)|$ are pairwise distinct and pairwise comparable in ZF, there are six possible linear orderings between these four cardinalities. We show that at least five of the six possible linear orderings are consistent with ZF.

math.LO↗

arXiv2021

Some implications of Ramsey Choice for n-element sets

Let $n\inω$. The weak choice principle $\operatorname{RC}_n$ states that for every infinite set $x$ there is an infinite subset $y\subseteq x$ with a choice function on $[y]^n:=\{z\subseteq y\mid \lvert z\rvert =n\}$. $\operatorname{C}_n^-$ states that for every infinite family of $n$-element sets, there is an infinite subfamily $\mathcal{G}\subseteq\mathcal{F}$ with a choice function. $\operatorname{LOC}_n^-$ and $\operatorname{WOC}_n^-$ are the same statement but we assume that the family $\mathcal{F}$ is linearly orderable ($\operatorname{LOC}_n^-$) or well-orderable ($\operatorname{WOC}_n^-$). In the first part of this paper we will give a full characterization of when the implication $\operatorname{RC}_m\Rightarrow \operatorname{WOC}_n^-$ with $m,n\inω$ holds in $\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 $\operatorname{RC}_5\Rightarrow \operatorname{LOC}_5^-$ and $\operatorname{RC}_6\Rightarrow \operatorname{C}_3^-$, answering two open questions from Halbeisen and Tachtsis. Furthermore we will show that $\operatorname{RC}_6\Rightarrow \operatorname{C}_9^-$ and $\operatorname{RC}_7\Rightarrow \operatorname{LOC}_7^-$.

math.LO↗

arXiv2021

A New Weak Choice Principle

For every natural number $n$ we introduce a new weak choice principle $\mathrm{nRC_{fin}}$: Given any infinite set $x$, there is an infinite subset $y\subseteq x$ and a selection function $f$ that chooses an $n$-element subset from every finite $z\subseteq y$ containing at least $n$ elements. By constructing new permutation models built on a set of atoms obtained as Fraïssé limits, we will study the relation of $\mathrm{nRC_{fin}}$ to the weak choice principles $\mathrm{RC_m}$ (that has already been studied by Montenegro, Halbeisen and Tachtsis): Given any infinite set $x$, there is an infinite subset $y\subseteq x$ with a choice function $f$ on the family of all $m$-element subsets of $y$. Moreover, we prove a stronger analogue of Montenegros results when we study the relation between $\mathrm{nRC_{fin}}$ and $\mathrm{kC_{fin}^-}$ which is defined by: Given any infinite family $\mathcal{F}$ of finite sets of cardinality greater than $k$, there is an infinite subfamily $\mathcal{A}\subseteq \mathcal{F}$ with a selection function $f$ that chooses a $k$-element subset from each $A\in\mathcal{A}$.

math.LO↗