Epsilon substitution for transfinite induction

DOI10.1007/S00153-004-0241-3zbMath1066.03058OpenAlexW2061312397MaRDI QIDQ1778059

Henry Towsner

Publication date: 26 May 2005

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

Full work available at URL: https://doi.org/10.1007/s00153-004-0241-3

zbMATH Keywords

cut eliminationfirst-order arithmetictransfinite inductiontermination proofrecursive well-orderingepsilon-substitution method

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Related Items (3)

Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Cut elimination for a simple formulation of epsilon calculus ⋮ Epsilon substitution method for -FIX

Cites Work

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for theories of jump hierarchies
• Epsilon substitution method for elementary analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Epsilon substitution for transfinite induction