Cardinal de Ramsey
Dans les mathématiques , un Ramsey cardinal (baptisé du nom de Frank P. Ramsey ) est un certain genre de grand nombre du cardinal .
Formellement, un &kappa du nombre cardinal ; tels que pour chaque f de fonction : &kappa ; < &omega ; &rarr de ; {0, 1} (avec le < le &omega ; dénotant l'ensemble de tous les sous-ensembles finis de &kappa ;) il y a un A d'ensemble de &kappa de cardinalité ; c'est le homogène pour le f (c. : pour chaque n , le f est constant sur le n - des tuples du A ) s'appelle Ramsey.
L'existence d'un cardinal de Ramsey est suffisante pour prouver l'existence du 0# . En fait, si &kappa ; est Ramsey, puis chaque ensemble avec le grade moins que le &kappa ; a un pointu.
Voir également
presque Ramsey cardinal de
indiciblement Ramsey cardinal
.
| Random links: | Londo Mollari | Huile de bois de chine | Atwood (cratère) | Moteur d'alpha de Hyundai | Cardenal_de_Ramsey |