Subcompact cardinal

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 j(μ) = κ.

Analogously, a cardinal number κ is quasicompact if and only if for every A⊂H(κ+) there is a non-trivial elementary embedding j:(H(κ+), A) → (H(μ+), B) with critical point κ and j(κ) = μ.

H(λ) consists of all sets whose transitive closure has cardinality less than λ.

Every quasicompact cardinal is subcompact. Quasicompactness is a stregthening of subcompactness in that it projects large cardinal properties upwards. The relationship is analogous to that of extendible versus supercompact cardinals. Quasicompactness may be viewed as a strengthened or "boldface" version of 1-extendibility. Existence of subcompact cardinals implies existence of many 1-extendible cardinals, and hence many superstrong cardinals. Existence of a 2κ-supercompact cardinal κ implies existence of many quasicompact cardinals.

Subcompact cardinals are noteworthy as the least large cardinals implying a failure of the Square Principle. If κ is subcompact, then the square principle fails at κ. Canonical inner models at the level of subcompact cardinals satisfy the square principle at all but subcompact cardinals. (Existence of such models has not yet been proved, but in any case the square principle can be forced for weaker cardinals.)

Quasicompactness is one of the strongest large cardinal properties that can be witnessed by current inner models that do not use long extenders. For current inner models, the elementary embeddings included are determined by their effect on P(κ) (as computed at the stage the embedding is included), where κ is the critical point. This prevents them from witnessing even a κ+ strongly compact cardinal κ.

Subcompact and quasicompact cardinals were defined by Ronald Jensen.

ee also

*Hereditarily countable set

References

*"Square in Core Models" in the September 2001 issue of the Bulletin of Symbolic Logic


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • 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

  • 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

  • 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

  • 1970s — 70s redirects here. For decades comprising years 70–79 of other centuries, see List of decades …   Wikipedia

Share the article and excerpts

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