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

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

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

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?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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})\) 👍 👎

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)