2018Mathematical logic quarterlyRequires access

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

Navin Aksornthong, Pimpen Vejjajiva

Open publisher page 3 citations

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.

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Mathematics, Cardinality (data modeling), Dedekind cut, Axiom of choice, Finite set, Infinite set, Zermelo–Fraenkel set theory, Set (abstract data type)

Related papers

Back to paper searchBrowse research topicsOriginal source
Relations between cardinalities of the finite sequences and the finite subsets of a set — Research Paper | ScholarLens