Ineffable cardinal
From Wikipedia, the free encyclopedia
In mathematics, an ineffable cardinal is a certain kind of large cardinal number.
Formally, a cardinal number κ is ineffable if and only if for every f: κ 2 → {0, 1}, there is a stationary subset of κ that is homogeneous for f.
κ is n-ineffable (for a positive integer n) if and only if for every f: κ n → {0, 1}, there is a stationary subset of κ that is homogeneous for f.
A totally ineffable cardinal is a cardinal that is n-ineffable for every n. If κ is n+1-ineffable, then the set of n-ineffable cardinals below κ is a stationary subset of κ.
References:
Harvey Friedman: "Subtle Cardinals and Linear Orderings." Annals of Pure and Applied Logic (January 15, 2001) 107(1-3):1-34.