Introducing the hardline in proof theory

2011/04/11 by Toshiyasu Arai, Arai, Toshiyasu
Computer Science · Mathematics · #03F99 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.1104.1842

openalex publication_date 2011/04/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this paper we expound some basic ideas of proof theory for theories of ordinals such that there are many stable ordinals below the ordinals.

Related

• The behavior of higher proof theory I: Case Σ¹₂
• An ordinal analysis of a single stable ordinal
• Proof-theoretic dilator and intermediate pointclasses
• Ordinal Notation
• Characterizations of ordinal analysis