ⓘ Extendible cardinal. In mathematics, extendible cardinals are large cardinals introduced by Reinhardt, who was partly motivated by reflection principles. Intuit ..

                                     

ⓘ Extendible cardinal

In mathematics, extendible cardinals are large cardinals introduced by Reinhardt, who was partly motivated by reflection principles. Intuitively, such a cardinal represents a point beyond which initial pieces of the universe of sets start to look similar, in the sense that each is elementarily embeddable into a later one.

                                     

1. Definition

For every ordinal η, a cardinal κ is called η-extendible if for some ordinal λ there is a nontrivial elementary embedding j of V κ+η into V λ, where κ is the critical point of j, and as usual V α denotes the α th level of the von Neumann hierarchy. A cardinal κ is called an extendible cardinal if it is η -extendible for every nonzero ordinal η Kanamori 2003.

                                     

2. Variants and relation to other cardinals

A cardinal κ is called η-C n -extendible if there is an elementary embedding j witnessing that κ is η -extendible that is, j is elementary from V κ+η to some V λ with critical point κ such that furthermore, V jκ is Σ n -correct in V. That is, for every Σ n formula φ, φ holds in V jκ if and only if φ holds in V. A cardinal κ is said to be C n -extendible if it is η-C n -extendible for every ordinal η. Every extendible cardinal is C 1 -extendible, but for n≥1, the least C n -extendible cardinal is never C n+1 -extendible Bagaria 2011.

Vopenkas principle implies the existence of extendible cardinals; in fact, Vopenkas principle for definable classes is equivalent to the existence of C n -extendible cardinals for all n Bagaria 2011. All extendible cardinals are supercompact cardinals Kanamori 2003.

                                     
  • version of 1 - extendibility Existence of subcompact cardinals implies existence of many 1 - extendible cardinals and hence many superstrong cardinals Existence
  • supercompact, hypercompact cardinals η - extendible extendible cardinals Vopenka cardinals Shelah for supercompactness, high jump cardinals n - superstrong n 2
  • principle implies existence of Σn correct extendible cardinals for every n. If κ is an almost huge cardinal then a strong form of Vopenka s principle
  • cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality size of sets. The cardinality
  • cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ
  • thirteenth century it has been customary at Rome to confide to some particular Cardinal a special solicitude in the Roman Curia for the interests of a given religious
  • The Cardinal is a thrice - weekly long distance passenger train operated by Amtrak between New York Penn Station and Chicago Union Station, with major intermediate
  • Four cardinal virtues were recognized by Plato and in the Bible, classical antiquity and in traditional Christian theology: Prudence φρόνησις, phronēsis
  • northern cardinal Cardinalis cardinalis is a bird in the genus Cardinalis it is also known colloquially as the redbird, common cardinal or just cardinal which
  • Cardinal Stadium, formerly known as Papa John s Cardinal Stadium, is a football stadium located in Louisville, Kentucky, United States, on the southern