ⓘ Quasicompact 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 nontrivial elementary embedding j:H μ +, B) → H κ +, A) where H κ + is the set of all sets of cardinality hereditarily less than κ +) with critical point μ and j μ = κ.
Analogously, κ is a quasicompact cardinal if and only if for every A ⊂ H κ + there is a nontrivial 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 strengthening 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 1extendibility. Existence of subcompact cardinals implies existence of many 1extendible 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.
 every open cover has a finite subcover. Some authors call these spaces quasicompact and reserve compact for Hausdorff spaces where every open cover has finite
 paracompact. Therefore, every compact Hausdorff space is normal. See also quasicompact Compact  open topology The compact  open topology on the set C X, Y of

Large cardinal 
Axiom of determinacy 

Berkeley cardinal 
Core model 
Critical point (set theory) 
Extender (set theory) 

Extendible cardinal 
Grothendieck universe 
Huge cardinal 
Indescribable cardinal 
Ineffable cardinal 
Iterable cardinal 
Kunens inconsistency theorem 
Mahlo cardinal 
Measurable cardinal 

Rankintorank 
Reinhardt cardinal 
Remarkable cardinal 
Shelah cardinal 
Shrewd cardinal 
Strong cardinal 
Strongly compact cardinal 
Unfoldable cardinal 
Weakly compact cardinal 
Wholeness axiom 
Woodin cardinal 
Zero sharp 

Film 

Television show 

Game 

Sport 

Science 

Hobby 

Travel 

Technology 

Brand 

Outer space 

Cinematography 

Photography 

Music 

Literature 

Theatre 

History 

Transport 

Visual arts 

Recreation 

Politics 

Religion 

Nature 

Fashion 

Subculture 

Animation 

Award 

Interest 