Journal of Symbolic Logic

Consequences of Arithmetic for Set Theory

Lorenz Halbeisen and Saharon Shelah

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

In this paper, we consider certain cardinals in ZF (set theory without AC, the axiom of choice). In ZFC (set theory with AC), given any cardinals $\mathscr{C}$ and $\mathscr{D}$, either $\mathscr{C} \leq \mathscr{D}$ or $\mathscr{D} \leq \mathscr{C}$. However, in ZF this is no longer so. For a given infinite set $A$ consider $\operatorname{seq}^{1 - 1}(A)$, the set of all sequences of $A$ without repetition. We compare $|\operatorname{seq}^{1 - 1}(A)|$, the cardinality of this set, to $|\mathscr{P}(\mathscr{A})|$, the cardinality of the power set of $A$. What is provable about these two cardinals in ZF? The main result of this paper is that $ZF \vdash \forall A(|\operatorname{seq}^{1 - 1}(A)| \neq|\mathscr{P}(\mathscr{A})|)$, and we show that this is the best possible result. Furthermore, it is provable in ZF that if $B$ is an infinite set, then $|\operatorname{fin}(B)| < |\mathscr{P}(B)|$ even though the existence for some infinite set $B^\ast$ of a function $f$ from $\operatorname{fin}(B^\ast)$ onto $\mathscr{P}(B^\ast)$ is consistent with ZF.

Article information

Source
J. Symbolic Logic, Volume 59, Issue 1 (1994), 30-40.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744431

Mathematical Reviews number (MathSciNet)
MR1264961

Zentralblatt MATH identifier
0795.03064

JSTOR
links.jstor.org

Citation

Halbeisen, Lorenz; Shelah, Saharon. Consequences of Arithmetic for Set Theory. J. Symbolic Logic 59 (1994), no. 1, 30--40. https://projecteuclid.org/euclid.jsl/1183744431


Export citation