The elementary theory of full $n$-branching ordinal trees with successor functions

Junhong Chen, Yi Zhang

We investigate the first-order theories of full \(n\)-branching ordinal trees \(\mathfrak{T}_α^n\). We obtain a complete classification of the standard trees up to elementary equiv…