Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX

DOI10.1007/s00153-005-0290-2zbMath1116.03050OpenAlexW13199265MaRDI QIDQ2576640

Toshiyasu Arai

Publication date: 14 December 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0290-2

zbMATH Keywords

ordinal analysisepsilon substitution methodtermination proofordinal interpretationnonmonotonic inductive definitions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Inductive definability (03D70)

Related Items (2)

Exact bounds on epsilon processes ⋮ Epsilon substitution method for -FIX

Cites Work

• Unnamed Item
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Epsilon substitution method for theories of jump hierarchies
• Ordinal diagrams for recursively Mahlo universes
• Epsilon substitution method for elementary analysis
• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators

This page was built for publication: Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX