Weakly hyper-Woodin cardinal

Weakly hyper-Woodin cardinal

In axiomatic set theory, weakly hyper-Woodin cardinals are a kind of large cardinals. A cardinal κ is called weakly hyper-Woodin if and only if for every set "S" there exists a normal measure "U" on κ such that the set {λ < κ | λ is <κ-"S"-strong} is in "U". λ is <κ-S-strong if and only if for each δ < κ there is a transitive class N and an elementaryembedding j : V → N with λ = crit(j), j(λ) >= δ, and j(S) cap H_delta = S cap H_delta.

The name alludes to the classic result that a cardinal is Woodin if and only if for every set "S", the set {λ < κ | λ is <κ-"S"-strong} is stationary.

The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of "U" does not depend on the choice of the set "S" for hyper-Woodin cardinals.

References

* Ernest Schimmerling, "Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model", Proceedings of the American Mathematical Society 130/11, pp. 3385-3391, 2002, [http://www.math.cmu.edu/~eschimme/papers/hyperwoodin.pdf online]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Hyper-Woodin cardinal — In axiomatic set theory, a hyper Woodin cardinal is a kind of large cardinal. A cardinal κ is called hyper Woodin if and only if there exists a normal measure U on κ such that for every set S , the set :{λ < κ | λ is …   Wikipedia

  • Shelah cardinal — In axiomatic set theory, Shelah cardinals are a kind of large cardinals. A cardinal kappa is called Shelah iff for every f:kappa ightarrowkappa, there exists a transitive class N and an elementary embedding j:V ightarrow N with critical point… …   Wikipedia

  • List of large cardinal properties — This page is a list of some types of cardinals; it is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”