On a cardinal inequality in ZF$\mathsf {ZF}$

Mathematical Logic Quarterly (forthcoming)
  Copy   BIBTEX

Abstract

It is proved in (without the axiom of choice) that for all infinite cardinals and all natural numbers, where is the cardinality of the set of permutations with exactly non‐fixed points of a set which is of cardinality.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.202300014

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

My notes

Similar books and articles

The power set and the set of permutations with finitely many non‐fixed points of a set.Guozhen Shen - 2023 - Mathematical Logic Quarterly 69 (1):40-45.
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$.Guozhen Shen - 2022 - Mathematical Logic Quarterly 68 (1):67-73.
Choiceless large cardinals and set‐theoretic potentialism.Raffaella Cutolo & Joel David Hamkins - 2022 - Mathematical Logic Quarterly 68 (4):409-415.
Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.
Around splitting and reaping for partitions of ω.Hiroaki Minami - 2010 - Archive for Mathematical Logic 49 (4):501-518.
The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.
Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
A Generalized Cantor Theorem In.Yinhe Peng & Guozhen Shen - 2024 - Journal of Symbolic Logic 89 (1):204-210.
Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
The failure of GCH at a degree of supercompactness.Brent Cody - 2012 - Mathematical Logic Quarterly 58 (1):83-94.
Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory.Emanuele Frittaion - 2023 - Journal of Symbolic Logic 88 (3):1138-1169.
Forcing Axioms and the Definability of the Nonstationary Ideal on the First Uncountable.Stefan Hoffelner, Paul Larson, Ralf Schindler & W. U. Liuzhen - forthcoming - Journal of Symbolic Logic:1-18.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
A Nonstandard Counterpart of WWKL.Stephen G. Simpson & Keita Yokoyama - 2011 - Notre Dame Journal of Formal Logic 52 (3):229-243.

Analytics

Added to PP
2023-08-17

Downloads
7 (#1,390,703)

6 months
4 (#796,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cantor’s Theorem May Fail for Finitary Partitions.Guozhen Shen - forthcoming - Journal of Symbolic Logic:1-18.

Add more citations

References found in this work

The well‐ordered and well‐orderable subsets of a set.John Truss - 1973 - Mathematical Logic Quarterly 19 (14‐18):211-214.

Add more references