2008Tbilisi Mathematical JournalOpen access

On the number of normal measures $\aleph_1$ and $\aleph_2$ can carry

Arthur W. Apter

Open full text 1 citations

Abstract

We show that assuming the consistency of certain large cardinals (namely a supercompact cardinal with a measurable cardinal above it), it is possible to force and construct choiceless universes of $\mathsf{ZF}$ in which the first two uncountable cardinals $\aleph_1$ and $\aleph_2$ are both measurable and carry certain fixed numbers of normal measures. Specifically, in the models constructed, $\aleph_1$ will carry exactly one normal measure, namely $\mu_w = \{x \subseteq \aleph_1 \mid x$ contains a club set$\}$, and $\aleph_2$ will carry exactly $\tau$ normal measures, where $\tau \ge \aleph_3$ is any regular cardinal. This contrasts with the well-known facts that assuming $\mathsf{AD} + \mathsf{AC}$, $\aleph_1$ is measurable and carries exactly one normal measure, and $\aleph_2$ is measurable and carries exactly two normal measures.

Open-access reader

About this research paper

What this paper is about

We show that assuming the consistency of certain large cardinals (namely a supercompact cardinal with a measurable cardinal above it), it is possible to force and construct choiceless universes of $\mathsf{ZF}$ in which the first two uncountable cardinals $\aleph_1$ and $\aleph_2$ are both measurable and carry certain fixed numbers of normal measures. Specifically, in the models constructed, $\aleph_1$ will carry exactly one normal measure, namely $\mu_w = \{x \subseteq \aleph_1 \mid x$ contains a club set$\}$, and $\aleph_2$ will carry exactly $\tau$ normal measures, where $\tau \ge \aleph_3$ is any regular cardinal. This contrasts with the well-known facts that assuming $\mathsf{AD} + \mathsf{AC}$, $\aleph_1$ is measurable and carries exactly one normal measure, and $\aleph_2$ is measurable and carries exactly two normal measures.

Why it matters

OpenAlex reports 1 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

We show that assuming the consistency of certain large cardinals (namely a supercompact cardinal with a measurable cardinal above it), it is possible to force and construct choiceless universes of $\mathsf{ZF}$ in which the first two uncountable cardinals $\aleph_1$ and $\aleph_2$ are both measurable and carry certain fixed numbers of normal measures. Specifically, in the models constructed, $\aleph_1$ will carry exactly one normal measure, namely $\mu_w = \{x \subseteq \aleph_1 \mid x$ contains a club set$\}$, and $\aleph_2$ will carry exactly $\tau$ normal measures, where $\tau \ge \aleph_3$ is any regular cardinal. This contrasts with the well-known facts that assuming $\mathsf{AD} + \mathsf{AC}$, $\aleph_1$ is measurable and carries exactly one normal measure, and $\aleph_2$ is measurable and carries exactly two normal measures.

Key concepts: Aleph, Uncountable set, Mathematics, Measure (data warehouse), Carry (investment), Consistency (knowledge bases), Combinatorics, Discrete mathematics

Related papers

Back to paper searchBrowse research topicsOriginal source
On the number of normal measures $\aleph_1$ and $\aleph_2$ can carry — Research Paper | ScholarLens