Calculating the closed ordinal Ramsey number \(R^{cl}(\omega \cdot 2,3)\) (Q2631892)

The paper under review deals with a certain version of topological Ramsey theory, where one intends to find a homogeneous set which is a closed subset, with respect to the order-topology, of a nonzero ordinal. For a natural number \(n\), a cardinal \(\kappa\) and ordinals \((\alpha_i)_{i<\kappa}\)'s, let \(R^{cl}(\alpha_i)^n_{i<\kappa}\) denote the least ordinal \(\beta\) such that for every colouring of \(n\)-subsets of \(\beta\) into \(\kappa\) colors, there is \(i<\kappa\), and there is a homogeneous set \(X\) of order type \(\alpha_i\) with color \(i\) such that \(X\) is a closed subset of its supremum. It has been shown by \textit{A. E. Caicedo} and \textit{J. Hilton} [Contemp. Math. 690, 87--120 (2017; Zbl 1423.03160)] that the inequalities \(\omega^{k+1}\leq R^{cl}(\omega^2,k)\leq \omega^{\omega}\), and \(\omega^2\cdot 3\leq R^{cl}(\omega\cdot 2,3)\leq \omega^3\cdot 100\) are satisfied. In the paper under review, the author obtains the exact value of \(R^{cl}(w\cdot 2,3)\) that is \(\omega^3\cdot 2\). The description of the proof (from the original text): ``In order to prove \(R^{cl}(\omega\cdot 2,3)\leq \omega^3\cdot 2\), we must show that for each colouring \(c:[\omega^3\cdot 2]^2\rightarrow 2\) with no homogeneous triples of colour \(1\), there is some homogeneous \(Y\in [\omega^3\cdot 2]^{\omega\cdot 2}\) of colour \(0\), closed in its supremum\dots We show first that for each \(\delta<\omega^\omega \), \(k\in\mathbb{N}\), and pair-colouring \(c:[\delta]^2\rightarrow k\), there exists some \(X\subseteq\delta\), closed in its supremum with \(\operatorname{ord}(X)=\delta\), such that \(c\restriction [X]^2\) is a canonical colouring (Definition 3.10). A canonical colouring is one such that for ``most'' \(\{\alpha,\beta\}\in [\delta]^2\), the value \(c(\{\alpha,\beta\})\) depends only on the Cantor-Bendixson ranks of the points \(\alpha,\beta\) in the topological space \(\delta\), and on the Cantor normal form of \(\delta\)\dots The bound \(R^{cl}(\omega\cdot 2,3)\geq \omega^3\cdot 2\) is achieved by describing a single colouring \(c:[\omega^3\cdot 2]^2\rightarrow 2\) such that for each \(\theta<\omega^3\cdot 2\), the colouring \(c\restriction [\theta]^2\) demonstrates \(R^{cl}(\omega\cdot 2,3)>\theta\).''