Automatic structures and the problem of natural well-orderings
Logic
2024-07-16 v1
Abstract
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.
Cite
@article{arxiv.2407.10198,
title = {Automatic structures and the problem of natural well-orderings},
author = {Lev D. Beklemishev and Fedor N. Pakhomov},
journal= {arXiv preprint arXiv:2407.10198},
year = {2024}
}
Comments
19 pages