The Incompleteness Theorems

This publication has 9 references indexed in Scilit:

• Provability interpretations of modal logic
  Israel Journal of Mathematics, 1976
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
  The Journal of Symbolic Logic, 1973
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
  The Journal of Symbolic Logic, 1973
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
  Mathematical Logic Quarterly, 1968
• Transfinite recursive progressions of axiomatic theories
  The Journal of Symbolic Logic, 1962
• Solution of a problem of Leon Henkin
  The Journal of Symbolic Logic, 1955
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
  The Journal of Symbolic Logic, 1953
• Extensions of some theorems of Gödel and Church
  The Journal of Symbolic Logic, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931