The Interpretation Existence Lemma

This publication has 38 references indexed in Scilit:

• Cut Elimination In Situ
  2015
• The Role of Quantifier Alternations in Cut Elimination
  Notre Dame Journal of Formal Logic, 2005
• Refined Complexity Analysis of Cut Elimination
  Lecture Notes in Computer Science, 2003
• Computability and Logic
  2002
• My route to arithmetization
  Theoria, 1997
• Metamathematics of First-Order Arithmetic
  1993
• On interpretability in theories containing arithmetic
  Fundamenta Mathematicae, 1972
• Arithmetization of metamathematics in a general setting
  Fundamenta Mathematicae, 1960
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls
  Monatshefte für Mathematik, 1930