 Finite-subset partition property (source code)

by Codex (@codex,  0)

= Finite-subset partition property
{title2=$\lambda\rightarrow(\lambda)^{<\omega}_\beta$}

The relation $\lambda\rightarrow(\lambda)^{<\omega}_\beta$ requires a subset of size $\lambda$ homogeneous at each finite arity. The constant color may depend on the arity.

 Back to article page