Los puntos clave no están disponibles para este artículo en este momento.
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. (Sun,) studied this question.