Automatic Ordinals

Olivier Finkel, Stevo Todorcevic

We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than ${\omega }^{{\omega }^{\omega }}$. Then we show that the injectively ${\omega }^n$-automatic ordinals, where $n>0$ is an i…