Aleph

The first letter of the Hebrew alphabet. As symbols alephs were introduced by G. Cantor to denote the cardinal numbers (the cardinality cf. Cardinal number) of infinite well-ordered sets. Each cardinal number is some aleph (a consequence of the axiom of choice). However, many theorems about alephs are demonstrated without recourse to the axiom of choice. For each ordinal number by one denotes the cardinality of the set of all ordinal numbers smaller than . In particular, is the cardinality of the set of all natural numbers, is the cardinality of the set of all countable ordinal numbers, etc. If , then . The cardinal number is the smallest cardinal number which follows . The generalized continuum hypothesis states that for any ordinal number . If , the equation assumes the form , and forms the content of the continuum hypothesis. The set of all alephs smaller than is totally ordered according to magnitude, and its order type is . The definitions of the sum, the product and a power of alephs are obvious. One has

The following formulas are most-frequently encountered. The recursive Hausdorff formula:

a particular case of which, for , is the Bernshtein formula:

The recursive formula of Tarski: If an ordinal number is a limit ordinal, and if , then

Here denotes the confinal character of the ordinal number . As in the case of cardinal numbers, one distinguishes between singular alephs, regular alephs, limit alephs, weakly inaccessible alephs, strongly inaccessible alephs, etc. For example, is singular if is a limit ordinal and if . There is no largest aleph among all alephs. It was shown by Cantor that the set of all alephs is meaningless, i.e. that there is no such set. See also Totally well-ordered set; Continuum hypothesis; Set theory; Ordinal number; Cardinal number.

References

[1]	P.S. Aleksandrov, "Einführung in die Mengenlehre und die Theorie der reellen Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian)
[2]	F. Hausdorff, "Grundzüge der Mengenlehre" , Leipzig (1914) (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))
[3]	P.J. Cohen, "Set theory and the continuum hypothesis" , Benjamin (1966)
[4]	K. Kuratowski, A. Mostowski, "Set theory" , North-Holland (1968)

Comments

A more recent theorem on the exponentiation of alephs was proved by J. Silver in 1974, cf. [a2]. A particular case says that if

then

A reasonable up-to-date additional reference for this topic is [a1].

References

[a1]	A. Levy, "Basic set theory" , Springer (1979)
[a2]	J. Silver, "On the singular cardinals problem" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 1 , Canad. Math. Congress (1975) pp. 265–268