On Denumerable Bases of Formal Systems

This publication has 19 references indexed in Scilit:

• A non-standard truth definition
  Proceedings of the American Mathematical Society, 1954
• Wang Hao. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 (1952), pp. 56–66.
  The Journal of Symbolic Logic, 1953
• Models of axiomatic systems
  Fundamenta Mathematicae, 1952
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949
• Consistency of the Continuum Hypothesis. (AM-3)
  Published by Walter de Gruyter GmbH ,1940
• Consistency-Proof for the Generalized Continuum-Hypothesis
  Proceedings of the National Academy of Sciences, 1939
• On notation for ordinal numbers
  The Journal of Symbolic Logic, 1938
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls
  Monatshefte für Mathematik, 1930
• Über Möglichkeiten im Relativkalkül
  Mathematische Annalen, 1915