Key points are not available for this paper at this time.
We explore the idea of using automatic and similar kind of presentations of structures to deal with the conceptual problem of natural proof-theoretic ordinal notations. We conclude that this approach still does not meet the goals.
Beklemishev et al. (2024) studied this question.