Abstract
In \(\textbf{ZF}\), the well-known Fichtenholz–Kantorovich–Hausdorff theorem concerning the existence of independent families of X of size \(|{\mathcal {P}} (X)|\) is equivalent to the following portion of the equally well-known Hewitt–Marczewski–Pondiczery theorem concerning the density of product spaces: “The product \({\textbf{2}}^{{\mathcal {P}}(X)}\) has a dense subset of size |X|”. However, the latter statement turns out to be strictly weaker than \(\textbf{AC}\) while the full Hewitt–Marczewski–Pondiczery theorem is equivalent to \(\textbf{AC}\). We study the relative strengths in \(\textbf{ZF}\) between the statement “X has no independent family of size \(|{\mathcal {P}}(X)|\)” and some of the definitions of “X is finite” studied in Levy’s classic paper, observing that the former statement implies one such definition, is implied by another, and incomparable with some others.
Similar content being viewed by others
References
De la Cruz, O.: Finiteness and choice. Fund. Math. 173, 57–76 (2002)
Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice, Math. Surveys and Monographs, vol. 59. American Mathematical Society, Providence (RI) (1998)
Jech, T.: The Axiom of Choice. North-Holland Publishing, Amsterdam (1973)
Jech, T.: Set Theory: The Third, Millenium Springer, Berlin (1997)
Läuchli, H.: The independence of the ordering principle from a restricted axiom of choice. Fund. Math. 54, 31–43 (1964)
Levy, A.: The independence of various definitions of finiteness. Fund. Math. 46, 1–13 (1958)
Pincus, D.: Adding dependent choice. Ann. Math. Log. 11, 105–145 (1977)
Tarski, A.: Sur quelques théorèmes qui équivalent à l’axiome du choix. Fund. Math. 5, 147–154 (1924)
Truss, J.K.: Classes of Dedekind finite cardinals. Fund. Math. 84(3), 187–208 (1974)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hall, E., Keremedis, K. Independent families and some notions of finiteness. Arch. Math. Logic 62, 689–701 (2023). https://doi.org/10.1007/s00153-022-00858-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-022-00858-y
Keywords
- Axiom of choice
- Weak axioms of choice
- Hewitt–Marczewski–Pondiczery theorem
- Fichtenholz–Kantorovich–Hausdorff theorem
- Boolean prime ideal theorem
- Notions of finiteness