Cardinality without Enumeration

Studia Logica 80 (1):121-141 (2005)
  Copy   BIBTEX

Abstract

We show that the notion of cardinality of a set is independent from that of wellordering, and that reasonable total notions of cardinality exist in every model of ZF where the axiom of choice fails. Such notions are either definable in a simple and natural way, or non-definable, produced by forcing. Analogous cardinality notions exist in nonstandard models of arithmetic admitting nontrivial automorphisms. Certain motivating phenomena from quantum mechanics are also discussed in the Appendix.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-6780-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

On a cardinal inequality in ZF$\mathsf {ZF}$.Guozhen Shen - forthcoming - Mathematical Logic Quarterly.
Factorials and the finite sequences of sets.Nattapon Sonpanow & Pimpen Vejjajiva - 2019 - Mathematical Logic Quarterly 65 (1):116-120.
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$.Guozhen Shen - 2022 - Mathematical Logic Quarterly 68 (1):67-73.
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$.Guozhen Shen - 2022 - Mathematical Logic Quarterly 68 (1):67-73.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
The cardinality of the partitions of a set in the absence of the Axiom of Choice.Palagorn Phansamdaeng & Pimpen Vejjajiva - 2023 - Logic Journal of the IGPL 31 (6):1225-1231.
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.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
Characterizing all models in infinite cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.

Analytics

Added to PP
2009-01-28

Downloads
84 (#257,751)

6 months
12 (#218,371)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

No two entities without identity.Benjamin C. Jantzen - 2011 - Synthese 181 (3):433-450.
Many entities, no identity.Jonas R. Becker Arenhart - 2012 - Synthese 187 (2):801-812.
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - Boston: De Gruyter.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
On a quasi-set theory.Décio Krause - 1992 - Notre Dame Journal of Formal Logic 33 (3):402--11.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.

View all 10 references / Add more references