Automatic structures and the problem of natural well-orderings
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911955144409088 |
|---|---|
| author | Beklemishev, Lev D. Pakhomov, Fedor N. |
| author_facet | Beklemishev, Lev D. Pakhomov, Fedor N. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_10198 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Automatic structures and the problem of natural well-orderings Beklemishev, Lev D. Pakhomov, Fedor N. Logic 03F15 (primary), 03D05, 03D45 (secondary) 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. |
| title | Automatic structures and the problem of natural well-orderings |
| topic | Logic 03F15 (primary), 03D05, 03D45 (secondary) |
| url | https://arxiv.org/abs/2407.10198 |