The isomorphism problem for tree-automatic ordinals with addition

Sanjay Jain 0001, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan 0001. The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett., 149:19-24, 2019. [doi]

Abstract

Abstract is missing.