Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and Decidability

This publication has 5 references indexed in Scilit:

• 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
• Some Theorems on Deducibility
  Annals of Mathematics, 1926
• Untersuchungen über die Zerlegbarkeit der abzählbaren primären Abelschen Gruppen
  Mathematische Zeitschrift, 1923
• Über Möglichkeiten im Relativkalkül
  Mathematische Annalen, 1915