Models, Translations and Interpretations

This publication has 10 references indexed in Scilit:

• A VARIANT TO HILBERT'S THEORY OF THE FOUNDATIONS OF ARITHMETIC
  The British Journal for the Philosophy of Science, 1953
• On a system of axioms which has no recursively enumerable arithmetic model
  Fundamenta Mathematicae, 1953
• Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II
  Published by Philosophy Documentation Center ,1953
• Models of axiomatic systems
  Fundamenta Mathematicae, 1952
• On the concepts of completeness and interpretation of formal systems
  Fundamenta Mathematicae, 1952
• Arithmetic translations of axiom systems
  Transactions of the American Mathematical Society, 1951
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• Note on arithmetic models for consistent formulae of the predicate calculus
  Fundamenta Mathematicae, 1950
• Zur Widerspruchsfreiheit der Zahlentheorie
  Mathematische Annalen, 1940
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
  Mathematische Annalen, 1937