Consequences of arithmetic for set theory

DOI10.2307/2275247MaRDI QIDQ4292590zbMATH OpenOpenAlexFDO

Authors Lorenz Halbeisen, S. Shelah

Publication date 1 September 1994

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9308220, http://doc.rero.ch/record/292728/files/S002248120002020X.pdf

zbMATH Keywords

cardinality of the power setcardinals in ZFsequences

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10)

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 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.

Recommendations

• Relations between cardinalities of the finite sequences and the finite subsets of a set
• Factorials and the finite sequences of sets
• Factorials of infinite cardinals in \textsf{ZF}. II: Consistency results
• A weird relation between two cardinals
• A choice-free cardinal equality

Cited in

(36)

• A weird relation between two cardinals
• The completeness of arithmetic sets under operations of set theory
• A choice-free cardinal equality
• Four cardinals and their relations in \textsf{ZF}
• A note on the structure of the power set
• On one of Specker's theorems
• Relations between some cardinals in the absence of the axiom of choice
• Non-discrete metrics in and some notions of finiteness
• No decreasing sequence of cardinals
• The cardinal inequality \(\alpha^2<2^{\alpha}\)
• A number-theoretic conjecture and its implication for set theory
• On the comparability of cardinals in the absence of the axiom of choice
• Non-well-foundedness of well-orderable power sets
• The size of the class of countable sequences of ordinals
• FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
• Factorials of infinite cardinals in \textsf{ZF}. II: Consistency results
• Generalizations of Cantor's theorem in \(\mathsf{ZF}\)
• Factorials and the finite sequences of sets
• Relations between cardinalities of the finite sequences and the finite subsets of a set
• A note on the asymptotic expressiveness of ZF and ZFC
• scientific article; zbMATH DE number 3313434 (Why is no real title available?)
• The finite subsets and the permutations with finitely many non‐fixed points of a set
• The power set and the set of permutations with finitely many non‐fixed points of a set
• The permutations with n non‐fixed points and the subsets with n elements of a set
• The cardinality of the partitions of a set in the absence of the Axiom of Choice
• A GENERALIZED CANTOR THEOREM IN
• A generalisation of Läuchli's lemma
• The set of injections and the set of surjections on a set
• The permutations with n non-fixed points and the sequences with length n of a set
• The finite sequences and the partitions whose members are finite of a set
• Cantor's theorem may fail for finitary partitions
• A note on weakly Dedekind finite sets
• Cancellation laws for surjective cardinals
• A note on strongly almost disjoint families
• Unsolvability of several questions of convergence of series and sequences
• Cardinality without enumeration

This page was built for publication: Consequences of arithmetic for set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4292590)