Pages that link to "Item:Q2565988"

The following pages link to The role of quantifier alternations in cut elimination (Q2565988):

Displaying 12 items.

• The second incompleteness theorem and bounded interpretations (Q454368) (← links)
• A complexity analysis of functional interpretations (Q557798) (← links)
• On the elimination of quantifier-free cuts (Q650922) (← links)
• Corrected upper bounds for free-cut elimination (Q719283) (← links)
• Transductions in arithmetic (Q904144) (← links)
• On the form of witness terms (Q982183) (← links)
• The arithmetics of a theory (Q2345393) (← links)
• Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
• Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
• The small‐is‐very‐small principle (Q5108874) (← links)
• The Interpretation Existence Lemma (Q5214783) (← links)
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)