FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS

DOI10.1017/JSL.2019.74zbMath1476.03069OpenAlexW2985622622WikidataQ126835608 ScholiaQ126835608MaRDI QIDQ5107228

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://doi.org/10.1017/jsl.2019.74

zbMATH Keywords

permutationcardinalfactorialZFfinite-to-one functionDedekind finiteness

Mathematics Subject Classification ID

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 ⋮ FACTORIALS OF INFINITE CARDINALS IN ZF PART II: CONSISTENCY RESULTS ⋮ On a cardinal inequality in ZF$\mathsf {ZF}$ ⋮ Four cardinals and their relations in \textsf{ZF}

Cites Work

• Unnamed Item
• The finite and the infinite
• A note on weakly Dedekind finite sets
• On the existence of permutations of infinite sets without fixed points in set theory without choice
• Verallgemeinerte Kontinuumshypothese und Auswahlaxiom
• A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET
• The independence of various definitions of finiteness
• Classes of Dedekind finite cardinals
• Factorials of infinite cardinals
• Consequences of arithmetic for set theory
• Some Aspects and Examples of Infinity Notions
• Finite-to-one maps
• Combinatorial Set Theory
• Generalizations of Cantor's theorem in
• Factorials and the finite sequences of sets
• Some properties of infinite factorials
• Generalized idempotence in cardinal arithmetic

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