scientific article; zbMATH DE number 1390268

MaRDI QIDQ4934555zbMATH OpenFDO

Authors Toshiyasu Arai

Publication date 17 January 2000

zbMATH Keywords

finitary analysis of proof figuresHoward ordinalordinal diagramsproof theoryrecursively large ordinals

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 5057388
• Proof theory and ordinal analysis
• Mathematical proof theory in the light of ordinal analysis
• Takeuti's well-ordering proof: finitistically fine?
• Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection

Cited in

(10)

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
• Independence of Ramsey theorem variants using \(\varepsilon _0\)
• Proof Analysis
• Ordinal diagrams for Π₃-reflection
• How to assign ordinal numbers to combinatory terms with polymorphic types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934555)