For $k=2$, from this post A "geometrical" representation for Ramsey's theorem, how one can deduce the theorem from Constant $f:[\mathbb{N}]^2\to \{1,2\}$ (part 2), or by knowing that there exist infinite sequence of naturals $n_1,n_2,n_3,...$, and a sequence of $t_1,t_2,t_3,...$ where $t_n\in\{1,2\}$ for all $n$, and if $i
How to represent set $H$ (set $H$ is from the first link)?