Extendible cardinal

Extendible cardinal

In mathematics, a cardinal number κ is η-extendible if and only if for some λ there is a nontrivial elementary embedding j of

:"V"κ+η

into

:"V"λ

where κ is the critical point of j.

κ is an extendible cardinal if and only if it is η-extendible for every ordinal number η.

Vopenka's principle implies the existence of extendible cardinals. All extendible cardinals are supercompact cardinals.

ee also

*List of large cardinal properties

References

"A cardinal κ is extendible if and only if for all α>κ there exists β and an elementary embedding from V(α) into V(β) with critical point κ."-- "Restrictions and Extensions" by Harvey M. Friedman http://www.math.ohio-state.edu/~friedman/pdf/ResExt021703.pdf

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • 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

  • Subcompact cardinal — In mathematics, a subcompact cardinal is a certain kind of large cardinal number.A cardinal number κ is subcompact if and only if for every A⊂H(κ+) there is a non trivial elementary embedding j:(H(μ+), B) → (H(κ+), A) with critical point μ and… …   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

  • Vopěnka's principle — In mathematics, Vopěnka s principle, named after Petr Vopěnka, is a large cardinal axiom.Vopěnka s principle asserts that for every proper class of binary relations (with set sized domain), there is one elementarily embeddable into another.… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

Share the article and excerpts

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