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

DOI10.1093/JIGPAL/11.3.367MaRDI QIDQ4454301zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

cut eliminationEpsilon substitution methodordinal analysispredicative cut elimination

Mathematics Subject Classification ID

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

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})\)

Cited in

(4)

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Strong termination for the epsilon substitution method
• scientific article; zbMATH DE number 1418438 (Why is no real title available?)
• scientific article; zbMATH DE number 6307937 (Why is no real title available?)

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)