Experimental logics and Δ inf2 sup0 - theories

This publication has 10 references indexed in Scilit:

• Su certe teorie non enumerabili
  Annali di Matematica Pura ed Applicata (1923 -), 1974
• Consistency statements in formal theories
  Fundamenta Mathematicae, 1971
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
  Mathematical Logic Quarterly, 1968
• Trial and error predicates and the solution to a problem of Mostowski
  The Journal of Symbolic Logic, 1965
• Limiting recursion
  The Journal of Symbolic Logic, 1965
• 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 Widerspruchsfreiheit der reinen Zahlentheorie
  Mathematische Annalen, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931
• Über das Unendliche
  Mathematische Annalen, 1926