Skip to main content Accessibility help
×
Home

FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS

  • GUOZHEN SHEN (a1) and JIACHEN YUAN (a2)

Abstract

For a set x, let ${\cal S}\left( x \right)$ be the set of all permutations of x. We prove in ZF (without the axiom of choice) several results concerning this notion, among which are the following:

(1) For all sets x such that ${\cal S}\left( x \right)$ is Dedekind infinite, $\left| {{{\cal S}_{{\rm{fin}}}}\left( x \right)} \right| < \left| {{\cal S}\left( x \right)} \right|$ and there are no finite-to-one functions from ${\cal S}\left( x \right)$ into ${{\cal S}_{{\rm{fin}}}}\left( x \right)$ , where ${{\cal S}_{{\rm{fin}}}}\left( x \right)$ denotes the set of all permutations of x which move only finitely many elements.

(2) For all sets x such that ${\cal S}\left( x \right)$ is Dedekind infinite, $\left| {{\rm{seq}}\left( x \right)} \right| < \left| {{\cal S}\left( x \right)} \right|$ and there are no finite-to-one functions from ${\cal S}\left( x \right)$ into seq (x), where seq (x) denotes the set of all finite sequences of elements of x.

(3) For all infinite sets x such that there exists a permutation of x without fixed points, there are no finite-to-one functions from ${\cal S}\left( x \right)$ into x.

(4) For all sets x, $|{[x]^2}| < \left| {{\cal S}\left( x \right)} \right|$ .

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS
      Available formats
      ×

Copyright

References

Hide All
[1]Blass, A., Power-Dedekind finiteness, manuscript, 2013.
[2]Dawson, J. W. Jr. and Howard, P. E., Factorials of infinite cardinals. Fundamenta Mathematicae, vol. 93 (1976), pp. 185195.
[3]Degen, J. W., Some aspects and examples of infinity notions. Mathematical Logic Quarterly, vol. 40 (1994), pp. 111124.
[4]Ellentuck, E., Generalized idempotence in cardinal arithmetic. Fundamenta Mathematicae, vol. 58 (1966), pp. 241258.
[5]Forster, T., Finite-to-one maps, this Journal, vol. 68 (2003), pp. 12511253.
[6]Halbeisen, L., Combinatorial Set Theory: With a Gentle Introduction to Forcing, second ed., Springer Monographs in Mathematics, Springer, Cham, 2017.
[7]Halbeisen, L. and Shelah, S., Consequences of arithmetic for set theory, this Journal, vol. 59 (1994), pp. 3040.
[8]Herrlich, L., The finite and the infinite. Applied Categorical Structures, vol. 19 (2011), pp. 455468.
[9]Levy, A., The independence of various definitions of finiteness. Fundamenta Mathematicae, vol. 46 (1958), pp. 113.
[10]Levy, A., Basic Set Theory, Perspectives in Mathematical Logic, Springer, Berlin, 1979.
[11]Shen, G., Generalizations of Cantor’s theorem in ZF. Mathematical Logic Quarterly, vol. 63 (2017), pp. 428436.
[12]Sonpanow, N. and Vejjajiva, P., A finite-to-one map from the permutations on a set. Bulletin of the Australian Mathematical Society, vol. 95 (2017), pp. 177182.
[13]Sonpanow, N. and Vejjajiva, P., Some properties of infinite factorials. Mathematical Logic Quarterly, vol. 64 (2018), pp. 201206.
14]Sonpanow, N. and Vejjajiva, P., Factorials and the finite sequences of sets. Mathematical Logic Quarterly, vol. 65 (2019), pp. 116120.
[15]Specker, E., Verallgemeinerte Kontinuumshypothese und Auswahlaxiom. Archiv der Mathematik, vol. 5 (1954), pp. 332337.
[16]Tachtsis, E., On the existence of permutations of infinite sets without fixed points in set theory without choice. Acta Mathematica Hungarica, vol. 157 (2019), pp. 281300.
[17]Tarski, A., Sur les ensembles finis. Fundamenta Mathematicae, vol. 6 (1924), pp. 4595.
[18]Truss, J., Classes of Dedekind finite cardinals. Fundamenta Mathematicae, vol. 84 (1974), pp. 187208.
[19]Vejjajiva, P. and Panasawatwong, S., A note on weakly Dedekind finite sets. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 413417.

Keywords

FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS

  • GUOZHEN SHEN (a1) and JIACHEN YUAN (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.