Automatic structures and the problem of natural well-orderings
Lev D. Beklemishev, Fedor Nikolaevich Pakhomov · arXiv (Cornell University) · 2024
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.