# Consequences of arithmetic for set theory

Journal of Symbolic Logic 59 (1):30-40 (1994)

# 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 C and D, either C ≤ D or D ≤ 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 |P(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* of a function f from $\operatorname{fin}(B^\ast)$ onto P(B*) is consistent with ZF

## PhilArchive

Upload a copy of this work     Papers currently archived: 76,479

Setup an account with your affiliations in order to access resources via your University's proxy server

# Similar books and articles

E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.

2009-01-28

51 (#232,844)

6 months
1 (#455,463)