PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] limit cardinal (Definition)

A limit cardinal is a cardinal $\kappa$ such that $\lambda^+<\kappa$ for every cardinal $\lambda<\kappa$ Here $\lambda^+$ denotes the cardinal successor of $\lambda$ If $2^\lambda<\kappa$ for every cardinal $\lambda<\kappa$ then $\kappa$ is called a strong limit cardinal.

Every strong limit cardinal is a limit cardinal, because $\lambda^+\leq2^\lambda$ holds for every cardinal $\lambda$ Under GCH, every limit cardinal is a strong limit cardinal because in this case $\lambda^+=2^\lambda$ for every infinite cardinal $\lambda$

The three smallest limit cardinals are $0$ $\aleph_0$ and $\aleph_\omega$ Note that some authors do not count $0$ or sometimes even $\aleph_0$ as a limit cardinal. An infinite cardinal $\aleph_\alpha$ is a limit cardinal if and only if $\alpha$ is a limit ordinal (counting $0$ as a limit ordinal).




"limit cardinal" is owned by yark.
(view preamble | get metadata)

View style:

See Also: successor cardinal

Also defines:  strong limit cardinal

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: limit ordinal, infinite, GCH, cardinal successor, cardinal
There are 5 references to this entry.

This is version 11 of limit cardinal, born on 2003-12-01, modified 2007-01-07.
Object id is 5438, canonical name is LimitCardinal.
Accessed 3669 times total.

Classification:
AMS MSC03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)