Scholarlink

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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Automatic Structures and the Problem of Natural Well-orderings

  • 章节

  • 发表日期：

    2025年

查看全文
  • Lev D. Beklemishev,
  • Fedor N. Pakhomov

摘要

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.