Consequences of arithmetic for set theory

Details Consequences of arithmetic for set theory Consequences of arithmetic for set theory

1993-08-15

arxiv.org/abs/math/9308220v1

J. Symbolic Logic 59 (1994), 30--40

Mathematics

Logic

Scientific paper

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 Seq(A), the set of all sequences of A without repetition. We compare |Seq(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 |- for all A: |Seq(A)| not= |P(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 |fin(B)|<|P(B)|, even though the existence for some infinite set B^* of a function f from fin(B^*) onto P(B^*) is consistent with ZF.

Affiliated with

Also associated with

No associations

Rating

Consequences of arithmetic for set theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Consequences of arithmetic for set theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Consequences of arithmetic for set theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-228690