Cut elimination for a simple formulation of epsilon calculus

DOI10.1016/J.APAL.2007.11.008MaRDI QIDQ2478554zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 28 March 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2007.11.008

zbMATH Keywords

arithmeticepsilon substitutionepsilon symbol

Mathematics Subject Classification ID

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

Recommendations

• Cut Elimination in ε‐Calculi
• An Addition to “Cut Elimination in ε-Calculi”
• Cut Elimination in ε‐Calculi
• Strong termination for the epsilon substitution method
• scientific article; zbMATH DE number 733386

Cites work

• scientific article; zbMATH DE number 48365 (Why is no real title available?)
• scientific article; zbMATH DE number 733386 (Why is no real title available?)
• scientific article; zbMATH DE number 1418438 (Why is no real title available?)
• scientific article; zbMATH DE number 3334141 (Why is no real title available?)
• Epsilon substitution for transfinite induction
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for elementary analysis
• Epsilon substitution method for theories of jump hierarchies
• Finite investigations of transfinite derivations
• Notation systems for infinitary derivations

Cited in

(9)

• An Addition to “Cut Elimination in ε-Calculi”
• Novikov's cut elimination
• A termination proof for epsilon substitution using partial derivations
• Epsilon substitution for \(ID_1\) via cut-elimination
• Cut Elimination in ε‐Calculi
• Cut Elimination in ε‐Calculi
• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• Cut elimination for a calculus with context-dependent rules
• Cut-elimination for \(\omega_{1}\)

This page was built for publication: Cut elimination for a simple formulation of epsilon calculus

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