Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof

DOI10.1093/JIGPAL/11.3.367zbMATH Open1053.03031OpenAlexW2015377148MaRDI QIDQ4454301FDOQ4454301

Authors: Sergei Tupailo 

Publication date: 8 March 2004

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/11.3.367

Recommendations

• Publication:4941993
• Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX
• Epsilon substitution method for elementary analysis
• Epsilon substitution for first- and second-order predicate logic
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)

zbMATH Keywords

cut eliminationordinal analysisEpsilon substitution methodpredicative cut elimination

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Cited In (4)

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Strong termination for the epsilon substitution method
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof

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