Epsilon substitution method for theories of jump hierarchies

DOI10.1007/s001530100108zbMath1022.03039OpenAlexW1965834052MaRDI QIDQ1407530

Toshiyasu Arai

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

zbMATH Keywords

cut-eliminationterminationtransfinite inductionepsilon substitution methodabsolute jump hierarchies

Mathematics Subject Classification ID

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