Encyclopedia > Strongly inaccessible cardinal

Article Content

Strongly inaccessible cardinal

A cardinal number κ > ‭א‬₀ is called strongly inaccessible iff the following conditions hold:

κ is weakly inaccessible; that is, cf(κ) = κ.
κ is a strong limit[?], that is, 2^λ < κ for all λ < κ.

Assuming that ZFC is consistent, the existence of strongly inaccessible cardinals provably cannot be proved in ZFC.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Digital Rights Management

... and unintended hilarious (www.freedom-to-tinker.com/archives/cat_fritxs_hit_list.html/). New DRM initiatives have been proposed in recent years which could prove more ...