The cardinal number ℵω (aleph-omega) is the first limit cardinal in the aleph hierarchy and one of the most important examples of a singular cardinal. Unlike the earlier aleph numbers ℵ₀, ℵ₁, ℵ₂, and every finite successor cardinal, which are obtained by taking the immediate successor of a preceding cardinal, ℵω is reached as the limit of the infinite sequence

ℵ₀, ℵ₁, ℵ₂, ℵ₃, ...

It therefore represents the smallest cardinal that is not the successor of another cardinal but instead arises as the least upper bound of all finite-indexed aleph numbers. This transition marks a profound structural shift within the hierarchy of infinite cardinalities, introducing entirely new phenomena that do not occur among the earlier successor cardinals.

Formally,

ℵω = sup{ℵ₀, ℵ₁, ℵ₂, ...}.

Every finite aleph is strictly smaller than ℵω, yet no finite stage reaches it. Rather than being produced by a single successor operation, ℵω is obtained by taking the supremum of an infinite ascending sequence of cardinals. Consequently, ℵω is called a limit cardinal, signifying that it serves as the limit of an unending progression of increasingly larger infinite cardinalities rather than the immediate successor of any one of them.

One of the defining characteristics of ℵω is that it is a singular cardinal. To understand this distinction, one must consider the concept of cofinality. The cofinality of a cardinal κ, written cf(κ), is the smallest cardinality of an unbounded subset whose supremum is κ. Intuitively, cofinality measures the minimum length of an increasing sequence required to approach a cardinal from below. A cardinal is regular if its cofinality equals the cardinal itself and singular if its cofinality is strictly smaller.

For ℵω,

cf(ℵω) = ω.

This equality holds because the countable sequence

ℵ₀ < ℵ₁ < ℵ₂ < ···

is already cofinal in ℵω. Every element of the sequence lies below ℵω, and the supremum of the sequence is precisely ℵω itself. Since only a countably infinite sequence is required to reach this limit, the cofinality of ℵω is ω rather than ℵω. Thus, ℵω is singular because it can be assembled as the limit of a sequence substantially smaller than its own cardinality.

The distinction between regular and singular cardinals is among the most fundamental structural divisions in modern set theory. Regular cardinals cannot be constructed as limits of significantly shorter increasing sequences, giving them a strong internal cohesion. Singular cardinals, by contrast, arise precisely through such limiting processes. This difference profoundly influences cardinal arithmetic, combinatorial principles, reflection phenomena, and forcing constructions. Although ℵω is only the first singular cardinal encountered in the aleph hierarchy, it already exhibits behaviors that are dramatically more intricate than those of the regular successor cardinals preceding it.

The arithmetic of singular cardinals is substantially more subtle than that of regular cardinals. While many familiar results hold uniformly for successor cardinals, the behavior of exponentiation and powersets at singular cardinals often depends upon deep structural principles. Questions concerning values such as

2^ℵω

cannot generally be resolved within the standard axioms of set theory alone and have inspired some of the most sophisticated developments in modern cardinal arithmetic. The study of these questions eventually led Saharon Shelah to develop Possible Cofinality Theory (pcf theory), a profound framework describing the behavior of singular cardinals and their products. Pcf theory has become one of the central achievements of contemporary set theory precisely because singular cardinals resist the comparatively straightforward methods that succeed for regular cardinals.

Another important concept associated with ℵω is that of a strong limit cardinal. A cardinal κ is called a strong limit cardinal if

2^λ < κ

for every cardinal λ smaller than κ. Whether ℵω satisfies this condition depends upon the surrounding model of set theory. When ℵω is both singular and a strong limit cardinal, it becomes one of the principal objects in the Singular Cardinals Hypothesis (SCH), which investigates the behavior of cardinal exponentiation at singular limits. The Singular Cardinals Hypothesis occupies a central position in modern infinitary combinatorics because it connects cardinal arithmetic, forcing, and large-cardinal assumptions in remarkably deep ways.

From a foundational perspective, ℵω represents the first point at which the aleph hierarchy undergoes a qualitative transformation. The earlier transition from ℵ₀ to ℵ₁ introduced uncountability. The transition from ℵ₁ through the finite successor cardinals simply continued that hierarchy one step at a time. With ℵω, however, the hierarchy no longer advances solely through successor operations but instead encounters its first genuine limit stage. This introduces new structural phenomena involving cofinality, limits, and singularity that permeate much of higher set theory and ultimately influence the study of inaccessible cardinals, measurable cardinals, and many stronger large-cardinal principles.

Ultimately, ℵω stands as the first singular limit cardinal and the smallest cardinal obtained as the supremum of an infinite sequence of smaller aleph numbers. It marks the point at which the hierarchy of infinite cardinalities begins exhibiting fundamentally new organizational principles beyond simple succession. Through its countable cofinality, its role in singular cardinal arithmetic, its connection to pcf theory and the Singular Cardinals Hypothesis, and its importance throughout modern infinitary combinatorics, ℵω demonstrates that the hierarchy of transfinite cardinalities evolves not merely by becoming larger but by developing increasingly sophisticated internal structures. As the first singular cardinal, ℵω serves as one of the great transition points in the architecture of infinite mathematics.