Huge cardinal

Huge cardinal

In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j : VM from V into a transitive inner model M with critical point κ and

{}^{j(\kappa)}M \subset M.\!

Here, αM is the class of all sequences of length α whose elements are in M.

Huge cardinals were introduced by Kenneth Kunen (1978).

Contents

Variants

In what follows, jn refers to the n-th iterate of the elementary embedding j, that is, j composed with itself n times, for a finite ordinal n. Also, M is the class of all sequences of length less than α whose elements are in M. Notice that for the "super" versions, γ should be less than j(κ), not jn(κ).

κ is almost n-huge if and only if there is j : VM with critical point κ and

{}^{<j^n(\kappa)}M \subset M.\!

κ is super almost n-huge if and only if for every ordinal γ there is j : VM with critical point κ, γ<j(κ), and

{}^{<j^n(\kappa)}M \subset M.\!

κ is n-huge if and only if there is j : VM with critical point κ and

{}^{j^n(\kappa)}M \subset M.\!

κ is super n-huge if and only if for every ordinal γ there is j : VM with critical point κ, γ<j(κ), and

{}^{j^n(\kappa)}M \subset M.\!

Notice that 0-huge is the same as measurable cardinal; and 1-huge is the same as huge. A cardinal satisfying one of the rank into rank axioms is n-huge for all finite n.

The existence of an almost huge cardinal implies that Vopenka's principle is consistent; more precisely any almost huge cardinal is also a Vopenka cardinal.

Consistency strength

The cardinals are arranged in order of increasing consistency strength as follows:

  • almost n-huge
  • super almost n-huge
  • n-huge
  • super n-huge
  • almost n+1-huge

The consistency of a huge cardinal implies the consistency of a supercompact cardinal, nevertheless, the least huge cardinal is smaller than the least supercompact cardinal (assuming both exist).

ω-huge cardinals

One can try defining an ω-huge cardinal κ as one such that an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and λMM, where λ is the supremum of jnκ for positive integers n. However Kunen's inconsistency theorem shows that ω-huge cardinals are inconsistent in ZFC, though it is still open whether they are consistent in ZF.

See also

References

  • Kunen, Kenneth (1978), "Saturated ideals", The Journal of Symbolic Logic 43 (1): 65–76, doi:10.2307/2271949, ISSN 0022-4812, MR495118 
  • Penelope Maddy,"Believing the Axioms,II"(i.e. part 2 of 2),"Journal of Symbolic Logic",vol.53,no.3,Sept.1988,pages 736 to 764 (esp.754-756).
  • Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed ed.). Springer. ISBN 3-540-00384-3. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Huge — is a word with a common meaning of something being obliquely big, but may also refer to: * Huge (album), the fourth album from alternative rock band Caroline s Spine * Huge cardinal, number in mathematics * The Huge Crew, trio of female bullies… …   Wikipedia

  • Cardinal-Infante Ferdinand of Austria — Cardinal Infante Ferdinand (1609/16101 in Escorial near Madrid, Spain 9 November 1641 in Brussels) (also known as Don Fernando de Austria and as Ferdinand von Österreich) was Governor of the Spanish Netherlands, Cardinal of the Holy Roman Church …   Wikipedia

  • Cardinal Nation — Cardinal Nation, or Redbird Nation, is a term that describes the massive popularity of the St. Louis Cardinals baseball franchise, and the celebration of professional baseball, not just in St. Louis, but through a large portion of the Midwest and …   Wikipedia

  • Cardinal Mazarin — For Swedish artist Per Gessle s 2003 album, see Mazarin (album). Jules Mazarin Portrait of Cardinal Jules Mazarin 2nd Chief Minister of the French Monarch …   Wikipedia

  • 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

  • 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

  • Measurable cardinal — In mathematics, a measurable cardinal is a certain kind of large cardinal number. Contents 1 Measurable 2 Real valued measurable 3 See also 4 References …   Wikipedia

  • Superstrong cardinal — In mathematics, a cardinal number kappa; is called superstrong if and only if there exists an elementary embedding j : V rarr; M from V into a transitive inner model M with critical point kappa; and V {j(kappa)} sube; M .Similarly, a cardinal κ… …   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

Share the article and excerpts

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