Ineffable cardinal

Short description: Kind of large cardinal number

In the mathematics of transfinite numbers, an ineffable cardinal is a certain kind of large cardinal number, introduced by (Jensen Kunen). In the following definitions, $\kappa$ will always be a regular uncountable cardinal number.

A cardinal number $\kappa$ is called almost ineffable if for every $f:\kappa \to {𝒫}(\kappa )$ (where ${𝒫}(\kappa )$ is the powerset of $\kappa$) with the property that $f(\delta )$ is a subset of $\delta$ for all ordinals $\delta <\kappa$, there is a subset $S$ of $\kappa$ having cardinality $\kappa$ and homogeneous for $f$, in the sense that for any ${\delta }_1<{\delta }_2$ in $S$, $f({\delta }_1)=f({\delta }_2)\cap {\delta }_1$.

A cardinal number $\kappa$ is called ineffable if for every binary-valued function $f:[\kappa {]}^2\to \{0,1\}$, there is a stationary subset of $\kappa$ on which $f$ is homogeneous: that is, either $f$ maps all unordered pairs of elements drawn from that subset to zero, or it maps all such unordered pairs to one. An equivalent formulation is that a cardinal $\kappa$ is ineffable if for every sequence ⟨A_α : α ∈ κ⟩ such that each A_α ⊆ α, there is A ⊆ κ such that {α ∈ κ : A ∩ α = A_α} is stationary in κ.

Another equivalent formulation is that a regular uncountable cardinal $\kappa$ is ineffable if for every set $S$ of cardinality $\kappa$ of subsets of $\kappa$, there is a normal (i.e. closed under diagonal intersection) non-trivial $\kappa$-complete filter ${ℱ}$ on $\kappa$ deciding $S$: that is, for any $X\in S$, either $X\in {ℱ}$ or $\kappa \setminus X\in {ℱ}$. This is similar to a characterization of weakly compact cardinals.

More generally, $\kappa$ is called $n$-ineffable (for a positive integer $n$) if for every $f:[\kappa {]}^n\to \{0,1\}$ there is a stationary subset of $\kappa$ on which $f$ is $n$-homogeneous (takes the same value for all unordered $n$-tuples drawn from the subset). Thus, it is ineffable if and only if it is 2-ineffable.

A totally ineffable cardinal is a cardinal that is $n$-ineffable for every $2\le n<{\mathrm{\aleph }}_0$. If $\kappa$ is $(n+1)$-ineffable, then the set of $n$-ineffable cardinals below $\kappa$ is a stationary subset of $\kappa$.

Every $n$-ineffable cardinal is $n$-almost ineffable (with set of $n$-almost ineffable below it stationary), and every $n$-almost ineffable is $n$-subtle (with set of $n$-subtle below it stationary). The least $n$-subtle cardinal is not even weakly compact (and unlike ineffable cardinals, the least $n$-almost ineffable is ${\mathrm{\Pi }}_2^1$-describable), but $(n-1)$-ineffable cardinals are stationary below every $n$-subtle cardinal.

A cardinal κ is completely ineffable if there is a non-empty $R\subseteq {𝒫}(\kappa )$ such that
- every $A\in R$ is stationary
- for every $A\in R$ and $f:[\kappa {]}^2\to \{0,1\}$, there is $B\subseteq A$ homogeneous for f with $B\in R$.

Using any finite $n$ > 1 in place of 2 would lead to the same definition, so completely ineffable cardinals are totally ineffable (and have greater consistency strength). Completely ineffable cardinals are ${\mathrm{\Pi }}_n^1$-indescribable for every n, but the property of being completely ineffable is ${\mathrm{\Delta }}_1^2$.

The consistency strength of completely ineffable is below that of 1-iterable cardinals, which in turn is below remarkable cardinals, which in turn is below ω-Erdős cardinals. A list of large cardinal axioms by consistency strength is available in the section below.

See also

• List of large cardinal properties

References

• Friedman, Harvey (2001), "Subtle cardinals and linear orderings", Annals of Pure and Applied Logic 107 (1–3): 1–34, doi:10.1016/S0168-0072(00)00019-1 .
• Jensen, Ronald; Kunen, Kenneth (1969), Some Combinatorial Properties of L and V, Unpublished manuscript, http://www.mathematik.hu-berlin.de/~raesch/org/jensen.html