Epsilon substitution method for theories of jump hierarchies
From MaRDI portal
Publication:1407530
DOI10.1007/s001530100108zbMath1022.03039OpenAlexW1965834052MaRDI QIDQ1407530
Publication date: 16 September 2003
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530100108
Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)
Related Items (10)
Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\) ⋮ Unnamed Item ⋮ A termination proof for epsilon substitution using partial derivations ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ Exact bounds on epsilon processes ⋮ Epsilon substitution for transfinite induction ⋮ Ackermann's substitution method (remixed) ⋮ Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX ⋮ Epsilon substitution method for \([\Pi^0_1,\Pi^0_1\)-FIX]
This page was built for publication: Epsilon substitution method for theories of jump hierarchies