FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS

DOI10.1017/JSL.2019.75zbMath1477.03217arXiv1810.05982OpenAlexW2984799802WikidataQ126840146 ScholiaQ126840146MaRDI QIDQ5107229

Guozhen Shen, Jiachen Yuan

Publication date: 17 April 2020

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

Full work available at URL: https://arxiv.org/abs/1810.05982

zbMATH Keywords

permutationcardinalfactorialfinite-to-one functionpermutation model\textsf{ZF}

Mathematics Subject Classification ID

Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Related Items (6)

Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$ ⋮ 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 ⋮ A GENERALIZED CANTOR THEOREM IN ⋮ A choice-free cardinal equality ⋮ Four cardinals and their relations in \textsf{ZF}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on weakly Dedekind finite sets
• A weird relation between two cardinals
• On the existence of permutations of infinite sets without fixed points in set theory without choice
• Non-constructive properties of cardinal numbers
• Verallgemeinerte Kontinuumshypothese und Auswahlaxiom
• Relations Between Some Cardinals in the Absence of the Axiom of Choice
• Factorials of infinite cardinals
• Consequences of arithmetic for set theory
• Finite-to-one maps
• Combinatorial Set Theory
• FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
• Generalizations of Cantor's theorem in
• Factorials and the finite sequences of sets
• Dualisation of a Result of Specker's
• The axiom of choice

This page was built for publication: FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS