Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

DOI10.2307/2266326zbMath0051.00503OpenAlexW2005607143MaRDI QIDQ5819443

Gisbert Hasenjaeger

Publication date: 1953

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266326

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Recursively saturated nonstandard models of arithmetic, A Fortuitous Year with Leon Henkin, Henkin’s Theorem in Textbooks, The Discovery of My Completeness Proofs, Syntactical and semantical properties of simple type theory, A system of axiomatic set theory - Part VII, A generalization of the concept of ω-consistency, Interpretations of sets of conditions, Substitutionless predicate logic with identity, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC