scientific article; zbMATH DE number 1390268
From MaRDI portal
Publication:4934555
zbMath0939.03063MaRDI QIDQ4934555
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryordinal diagramsHoward ordinalfinitary analysis of proof figuresrecursively large ordinals
Related Items (7)
Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection ⋮ Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ How to assign ordinal numbers to combinatory terms with polymorphic types ⋮ Independence of Ramsey theorem variants using $\varepsilon _0$ ⋮ Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
This page was built for publication:
