Relations between cardinalities of the finite sequences and the finite subsets of a set

Mathematical Logic Quarterly 64 (6):529-534 (2018)
  Copy   BIBTEX

Abstract

We write and for the cardinalities of the set of finite sequences and the set of finite subsets, respectively, of a set which is of cardinality. With the axiom of choice (), for every infinite cardinal but, without, any relationship between and for an arbitrary infinite cardinal cannot be proved. In this paper, we give conditions that make and comparable for an infinite cardinal. Among our results, we show that, if we assume the axiom of choice for sets of finite sets, then for every Dedekind‐infinite cardinal and the condition that is Dedekind‐infinite cannot be weakened to weakly Dedekind‐infinite.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Through your library

Similar books and articles

The spectrum of maximal independent subsets of a Boolean algebra.J. Donald Monk - 2004 - Annals of Pure and Applied Logic 126 (1-3):335-348.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
Isols and maximal intersecting classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.
The spectrum of partitions of a Boolean algebra.J. Donald Monk - 2001 - Archive for Mathematical Logic 40 (4):243-254.
Two consistency results on set mappings.Péter Komjáth & Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (1):333-338.
On representing concepts in finite models.Marcin Mostowski - 2001 - Mathematical Logic Quarterly 47 (4):513-523.
About finite predicate logic.Herman Dishkant - 1986 - Studia Logica 45 (4):405 - 414.
A weird relation between two cardinals.Lorenz Halbeisen - 2018 - Archive for Mathematical Logic 57 (5-6):593-599.

Analytics

Added to PP
2018-11-21

Downloads
16 (#886,588)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.
Consequences of arithmetic for set theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom).Ernst Specker - 1957 - Mathematical Logic Quarterly 3 (13-20):173-210.
The Axiom of Choice.Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.

View all 8 references / Add more references