Cut elimination for a simple formulation of epsilon calculus

DOI10.1016/J.APAL.2007.11.008zbMath1136.03037OpenAlexW2013500897MaRDI QIDQ2478554

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

Related Items (1)

Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite investigations of transfinite derivations
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for theories of jump hierarchies
• Epsilon substitution for transfinite induction
• Epsilon substitution method for elementary analysis
• Notation systems for infinitary derivations

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