Kardinalo preskaŭ de Ramsey

El Vikipedio, la libera enciklopedio

En matematiko, kardinalo preskaŭ de Ramsey estas certa speco de granda kardinalo.

Formale, kardinalo κ estas kardinalo preskaŭ de Ramsey se kaj nur se por ĉiu funkcio f: [κ] < ω → {0, 1} (kun [κ] < ω signifanta la aron de ĉiuj finiaj subaroj de κ) kaj por ĉiu λ < κ, estas aro de orda speco λ kiu estas homogena por f.

Vidu ankaŭ[redakti | redakti fonton]