The cardinal ℶω (beth-omega) is the first limit cardinal of the beth hierarchy, representing the culmination of an infinite sequence of powerset operations. Whereas the aleph numbers classify cardinalities according to well-ordering and succession, the beth numbers classify cardinalities according to repeated applications of the powerset operation. Beginning with ℶ₀ = ℵ₀, each successive beth number is obtained by taking the cardinality of the powerset of its predecessor. Thus the beth hierarchy records the explosive growth generated by repeatedly forming sets of subsets, producing a sequence of cardinalities whose behavior is governed by powersets rather than by simple successor operations. The cardinal ℶω marks the first limit stage of this hierarchy, collecting together every finite iteration of the powerset process into a single transfinite cardinal.

The beth numbers are defined recursively. The initial stage is

ℶ₀ = ℵ₀,

while each successor stage satisfies

ℶα+1 = 2^ℶα.

For limit ordinals λ,

ℶλ = sup{ℶβ : β < λ}.

Consequently,

ℶω = sup{ℶ₀, ℶ₁, ℶ₂, ℶ₃, ...}.

Rather than being obtained by one additional powerset operation, ℶω is the least cardinal exceeding every finite beth number. It therefore occupies the same position within the beth hierarchy that ℵω occupies within the aleph hierarchy: the first genuine limit stage reached through an infinite ascending sequence.

Unlike the aleph hierarchy, whose growth is determined entirely by cardinal succession, the beth hierarchy depends upon the behavior of the powerset operation. Since the powerset of a set always has strictly greater cardinality than the set itself, every successor beth number represents an enormous increase in size. Beginning with the countably infinite natural numbers, one powerset yields the cardinality of the continuum, another yields the powerset of the continuum, and each further iteration produces an even larger cardinal. The sequence therefore grows through repeated exponentiation rather than through immediate cardinal succession.

The relationship between the beth numbers and the aleph numbers depends fundamentally upon the Generalized Continuum Hypothesis (GCH). If GCH holds, then

ℶα = ℵα

for every ordinal α.

Under this assumption,

ℶω = ℵω.

Without GCH, however, the two hierarchies generally diverge. Since the continuum function may behave independently of cardinal succession, repeated powerset operations can generate beth numbers that no longer coincide with their corresponding aleph numbers. Thus ℶω and ℵω represent conceptually distinct objects even when they happen to coincide in particular models of set theory.

One of the most important concepts associated with ℶω is that of a strong limit cardinal. An infinite cardinal κ is called a strong limit cardinal if

2^λ < κ

for every cardinal λ smaller than κ.

This condition states that no smaller cardinal remains comparable to κ after a single powerset operation. In other words, every powerset generated below κ still possesses cardinality strictly less than κ itself. The strong-limit property therefore describes a remarkable degree of closure under exponentiation, making such cardinals fundamental objects in higher cardinal arithmetic.

The cardinal ℶω provides the canonical example of a strong limit cardinal under suitable assumptions concerning the continuum function. Since every finite beth number is produced through repeated powerset operations, ℶω naturally dominates each of them. When the continuum function behaves minimally, as under GCH, ℶω becomes both a limit cardinal and a strong limit cardinal. More generally, whether ℶω satisfies the strong-limit property depends upon the behavior of cardinal exponentiation below it. Thus the structure of ℶω reflects not merely its position in the beth hierarchy but the cumulative behavior of every preceding powerset operation.

Strong limit cardinals occupy a central role throughout cardinal arithmetic because they serve as natural boundaries for exponential growth. Many of the deepest problems concerning singular cardinals arise precisely when a cardinal is both singular and strong limit. A celebrated example is ℵω, which under suitable assumptions becomes a singular strong limit cardinal. Such cardinals lie at the heart of the Singular Cardinals Hypothesis (SCH), one of the central questions in infinitary combinatorics. SCH investigates the extent to which exponentiation at singular strong limit cardinals is constrained by the surrounding structure of the cardinal hierarchy.

The study of strong limit cardinals eventually leads to some of the most profound developments in modern set theory. Saharon Shelah's Possible Cofinality Theory (pcf theory) was developed largely to understand the arithmetic of singular strong limit cardinals. Pcf theory reveals that although the powerset operation exhibits remarkable freedom throughout the infinite hierarchy, significant structural restrictions nevertheless emerge at singular strong limit cardinals. These discoveries transformed cardinal arithmetic by demonstrating that deep regularities persist even amid the apparent independence of the continuum function.

Strong limit cardinals also provide an essential bridge to the large-cardinal hierarchy. A cardinal that is simultaneously uncountable, regular, and strong limit is called a strongly inaccessible cardinal. Thus the strong-limit condition constitutes one of the defining ingredients of the first major large-cardinal notion. Many stronger large cardinals—including Mahlo, weakly compact, measurable, supercompact, and extendible cardinals—inherit closure properties that ultimately trace back to the behavior first captured by strong limit cardinals. Consequently, the concept serves as one of the foundational structural principles underlying the higher reaches of transfinite set theory.

Ultimately, ℶω represents the first limit stage of the beth hierarchy, collecting together every finite iteration of the powerset operation into a single transfinite cardinal. Through its intimate relationship with repeated exponentiation, the Generalized Continuum Hypothesis, strong limit cardinals, singular cardinal arithmetic, and the foundations of the large-cardinal hierarchy, ℶω illustrates that infinite cardinality is shaped not only by succession but also by the cumulative growth generated through powersets. The theory of strong limit cardinals demonstrates that even within the vast hierarchy of infinite magnitudes, profound structural principles govern how exponential growth interacts with cofinality, regularity, and the deeper architecture of transfinite mathematics.