What ordinal corresponds to the T(3)?

Question

Let's play a game. You start with the ordinal $\alpha$ and I start with the empty sequence. Each turn, you decrease your ordinal, and I add a tree (where each node can have one of three labels), subject to the rule that no previous tree I choose can homeomorphically embed into the new one. Whoever moves last wins! What $\alpha$ should we choose to make the game fair, meaning whoever moves first will lose (so both players make the same number of moves)?

Note we can generalize this any number of labels $n$, or indeed, any well-quasi-ordered set instead of trees.

---

Well, note that the game can not go on forever, for two reasons. There is no infinite decreasing sequence of ordinals, so you must eventually hit $0$ and be out of moves. Likewise, due to Kruskal's tree theorem, I too can not go on forever. Indeed, we could have replaced trees with any other well-quasi-ordered set.

Now, what do we mean by fair? Well, since the tree picking game correspond to a game in the CGT sense, there is some ordinal $\alpha$ such that $T(3) - \alpha = 0$ (implying $T(3) = \alpha$, hence the title), where $T(3)$ is the tree picking game. $T(3)-\alpha$ is therefore the game described in the first paragraph. Since $T(3) - \alpha = 0$, whoever moves first in that game will lose (this is why we say whoever moves first will lose).

Answer 1

If Player 1 moves first, Player 2 wins the game if and only if $\alpha\leq o(T(3))$, where $o$ denotes the maximal order type of the well-quasi-order $T(3)$. This ordinal was studied by Diana Schmidt in her 1979 Habilitation thesis Well-partial orderings and their maximal order types, which might not be so easy to find online. The introduction of the 2015 Ph.D. thesis of Van der Meeren Connecting the two worlds: Well-partial-orders and ordinal notation systems does a nice quick survey of these questions in Section 1.2; the answer to the question is $\vartheta(\Omega^\omega\cdot 3)$, assuming you are talking about finite ordered unranked trees.