Supercompact cardinal

Supercompact cardinal

In set theory, a supercompact cardinal a type of large cardinal. They display a variety of reflection properties.

Formal definition

If λ is any ordinal, κ is λ-supercompact means that there exists an elementary embedding "j" from the universe "V" into a transitive inner model "M" with critical point κ, "j"(κ)>λ and

:{ }^lambda Msubseteq M

That is, "M" contains all of its λ-sequences. Then κ is supercompact means that it is λ-supercompact for all ordinals λ.

Alternatively, an uncountable cardinal &kappa; is supercompact if for every "A" such that |"A"| ≥ &kappa; there exists a normal measure on ["A"] < &kappa;.

["A"] < &kappa; is defined as follows:

: [A] ^{< kappa} := {X subseteq A| |X| < kappa}.

Properties

Supercompact cardinals have reflection properties. For example, if &kappa; is supercompact and the Generalized Continuum Hypothesis holds below &kappa; then it holds everywhere.

Finding a canonical inner model for supercompact cardinals is one of the major problems of inner model theory.

References

*

*

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Supercompact — In mathematics, the term supercompact may refer to: * In set theory, a supercompact cardinal * In topology, a supercompact space …   Wikipedia

  • Strongly compact cardinal — In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number; their existence can neither be proven nor disproven from the standard axioms of set theory.A cardinal kappa; is strongly compact if and only if… …   Wikipedia

  • Grand cardinal — En mathématiques, et plus précisément en théorie des ensembles, un grand cardinal est un nombre cardinal transfini satisfaisant une propriété qui le distingue des ensembles constructibles avec l axiomatique usuelle (ZFC) tels que aleph zéro,… …   Wikipédia en Français

  • Large cardinal property — In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very large (for example, bigger than aleph zero …   Wikipedia

  • Huge cardinal — In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and Here, αM is the class of all sequences of length α whose elements are in M …   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

  • 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 lambda; is any ordinal, kappa; is lambda; strong means that kappa; is a cardinal number and there… …   Wikipedia

  • 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… …   Wikipedia

  • Compact cardinal — may refer to: Weakly compact cardinal Subcompact cardinal Supercompact cardinal Strongly compact cardinal This disambiguation page lists mathematics articles associated with the same title. If an …   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

Share the article and excerpts

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