Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. Gödel, Kurt: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Phys.37, 349?360 (1930).
2. Henkin, Leon: The completeness of the first order functional calculus. J. Symb. Log.14, 159?166 (1949).
3. Henkin, Leon: Completeness in the theory of types. J. Symb. Log.15, 81?91 (1950).
4. For a discussion of this result and its history seeAlonzo Church, Introduction to Mathematical Logic, Volume I, Princeton University Press (1956), § 45. In this book we also find simple discussions ofGödel's (§ 44) andHenkin's (§ 54) completeness theorems.
5. Thoralf Skolem: Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. Fund. Math.23, 150?161 (1934).
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A BIBLIOGRAPHY OF THE THEORY OF MODELS;The Theory of Models;2014
2. Empirical Methods in Mathematics;Spanish Studies in the Philosophy of Science;1996
3. Modelle der Arithmetik;Ernst Specker Selecta;1990
4. Some Extension and Rearrangement Theorems For Nerode Semirings;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1989
5. Fresh Efforts;13 Lectures on Fermat’s Last Theorem;1979