Relations between cardinalities of the finite sequences and the finite subsets of a set
Navin Aksornthong, Pimpen Vejjajiva
Abstract
Navin Aksornthong, Pimpen Vejjajiva
Abstract
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.
OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Mathematics, Cardinality (data modeling), Dedekind cut, Axiom of choice, Finite set, Infinite set, Zermelo–Fraenkel set theory, Set (abstract data type)