Strong cardinal

In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal.

Formal definition

If λ is any ordinal, κ is λ-strong means that κ is a cardinal number and there exists an elementary embedding j from the universe V into a transitive inner model M with critical point κ and

That is, M agrees with V on an initial segment. Then κ is strong means that it is λ-strong for all ordinals λ.

Relationship with other large cardinals

By definitions, strong cardinals lie below supercompact cardinals and above measurable cardinals in the consistency strength hierarchy.

κ is κ-strong if and only if it is measurable. If κ is strong or λ-strong for λ ≥ κ+2, then the ultrafilter U witnessing that κ is measurable will be in Vκ+2 and thus in M. So for any α < κ, we have that there exist an ultrafilter U in j(Vκ) − j(Vα), remembering that j(α) = α. Using the elementary embedding backwards, we get that there is an ultrafilter in Vκ − Vα. So there are arbitrarily large measurable cardinals below κ which is regular, and thus κ is a limit of κ-many measurable cardinals.

Strong cardinals also lie below superstrong cardinals and Woodin cardinals in consistency strength. However, the least strong cardinal is larger than the least superstrong cardinal.

Every strong cardinal is strongly unfoldable and therefore totally indescribable.

gollark: I would use OC more if it was easy to make a basic simple OC machine to interact with some machinery I need automated.
gollark: I just don't like microcrafting.
gollark: That reminds me, I need an insults library with search and tagging capability.
gollark: PotatOS has its own giant sandboxing layer and implements half the BIOS!
gollark: PotatOS, Opus OS and Vorbani OS are sort of "real OSes" in that they all distance themselves from CraftOS itself a decent bit.

References
  • Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed.). Springer. ISBN 3-540-00384-3.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.