TY - JOUR
T1 - Four cardinals and their relations in ZF
AU - Halbeisen, Lorenz
AU - Plati, Riccardo
AU - Schumacher, Salome
AU - Shelah, Saharon
N1 - Publisher Copyright:
© 2022 The Author(s)
PY - 2023/2
Y1 - 2023/2
N2 - For a set M, fin(M) denotes the set of all finite subsets of M, M2 denotes the Cartesian product M×M, [M]2 denotes the set of all 2-element subsets of M, and seq1-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|, |M2|, |fin(M)|, |seq1-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.
AB - For a set M, fin(M) denotes the set of all finite subsets of M, M2 denotes the Cartesian product M×M, [M]2 denotes the set of all 2-element subsets of M, and seq1-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|, |M2|, |fin(M)|, |seq1-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.
KW - Cardinals in ZF
KW - Consistency results
KW - Permutation models
UR - http://www.scopus.com/inward/record.url?scp=85139725245&partnerID=8YFLogxK
U2 - 10.1016/j.apal.2022.103200
DO - 10.1016/j.apal.2022.103200
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85139725245
SN - 0168-0072
VL - 174
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 2
M1 - 103200
ER -