Cut elimination for a simple formulation of epsilon calculus

DOI10.1016/J.APAL.2007.11.008zbMATH Open1136.03037OpenAlexW2013500897MaRDI QIDQ2478554FDOQ2478554

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

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

zbMATH Keywords

arithmeticepsilon substitutionepsilon symbol

Mathematics Subject Classification ID

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

Cites Work

• Epsilon substitution method for elementary analysis
• Title not available (Why is that?)
• Notation systems for infinitary derivations
• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution method for theories of jump hierarchies
• Finite investigations of transfinite derivations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epsilon substitution for transfinite induction

Cited In (7)

• A termination proof for epsilon substitution using partial derivations
• Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs
• Cut Elimination in ε‐Calculi
• Cut elimination for a calculus with context-dependent rules
• Cut-elimination for \(\omega_{1}\)
• Cut Elimination in ε‐Calculi
• An Addition to “Cut Elimination in ε-Calculi”

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)