En matemáticas , un cardenal de Ramsey es un cierto tipo de número cardinal grande introducido por Erdős & Hajnal (1962) y llamado así en honor a Frank P. Ramsey , cuyo teorema, llamado teorema de Ramsey, establece que ω goza de una cierta propiedad que los cardinales de Ramsey generalizan a los incontables. caso.
Sea [ κ ] <ω el conjunto de todos los subconjuntos finitos de κ . Un número cardinal κ se llama Ramsey si, para cada función
existe un conjunto A de cardinalidad κ que es homogéneo para f . Es decir, para cada n , la función f es constante en los subconjuntos de cardinalidad n de A. Un cardinal κ se llama inefablemente Ramsey si se puede elegir que A sea un subconjunto estacionario de κ . Un cardinal κ se llama virtualmente Ramsey si para cada función
hay C , un subconjunto cerrado e ilimitado de κ , de modo que para cada λ en C de cofinalidad incontable , hay un subconjunto ilimitado de λ que es homogéneo para f ; ligeramente más débil es la noción casi de Ramsey donde se requieren conjuntos homogéneos para f de tipo de orden λ , para cada λ < κ .
La existencia de cualquiera de estos tipos de cardenales de Ramsey es suficiente para probar la existencia de 0 # , o incluso que todo conjunto con rango menor que κ tiene un sostenido . Esto a su vez implica la falsedad del Axioma de Constructibilidad de Kurt Gödel .
Cada cardenal mensurable es un cardenal de Ramsey, y cada cardenal de Ramsey es un cardenal de Rowbottom .
Una propiedad intermedia en fuerza entre Ramseyness y mensurabilidad es la existencia de un κ -ideal normal no principal I completo en κ tal que para cada A ∉ I y para cada función
hay un conjunto B ⊂ A que no está en I y que es homogéneo para f . Esto es estrictamente más fuerte que κ siendo inefablemente Ramsey.
Un cardinal regular κ es Ramsey si y sólo si [1] [ se necesita una mejor fuente ] para cualquier conjunto A ⊂ κ , hay un conjunto transitivo M ⊨ ZFC - (es decir, ZFC sin el axioma de conjunto de potencias) de tamaño κ con A ∈ M , y un ultrafiltro no principal U en el álgebra booleana P(κ) ∩ M tal que: