Concept

Erdős cardinal

Résumé
In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by . A cardinal κ is called α-Erdős if for every function  f : κ< ω → {0, 1}, there is a set of order type α that is homogeneous for  f . In the notation of the partition calculus, κ is α-Erdős if :κ(α) → (α)< ω. The existence of zero sharp implies that the constructible universe L satisfies "for every countable ordinal α, there is an α-Erdős cardinal". In fact, for every indiscernible κ, Lκ satisfies "for every ordinal α, there is an α-Erdős cardinal in Coll(ω, α)" (the Levy collapse to make α countable). However, the existence of an ω1-Erdős cardinal implies existence of zero sharp. If  f  is the satisfaction relation for L (using ordinal parameters), then the existence of zero sharp is equivalent to t
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement