Superstrong cardinal

Superstrong cardinal

In mathematics, a cardinal number κ is called superstrong if and only if there exists an elementary embedding "j" : "V" → "M" from "V" into a transitive inner model "M" with critical point κ and V_{j(kappa)} ⊆ "M".

Similarly, a cardinal κ is n-superstrong if and only if there exists an elementary embedding "j" : "V" → "M" from "V" into a transitive inner model "M" with critical point κ and V_{j^n(kappa)} ⊆ "M". Akihiro Kanamori has shown that the consistency strength of an n+1-superstrong cardinal exceeds that of an n-huge cardinal for each n > 0.

References

*


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

  • 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

  • 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

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Suslin's problem — In mathematics, Suslin s problem is a question about totally ordered sets posed by Mikhail Yakovlevich Suslin in the early 1920s. [cite journal title=Problème 3 last= Souslin first=M. journal=Fundamenta Mathematicae volume=1 date=1920 pages=223]… …   Wikipedia

  • Core model — In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to the core model , it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the… …   Wikipedia

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

Share the article and excerpts

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