The discovery of my completeness proofs

Bulletin of Symbolic Logic

Volumn 2, Issue 2, 1996, Pages 127-158

  Henkin, Leon ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030159379     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421107     Document Type: Article

References (30)

1. G. BIRKHOFF, Lattice theory, American Mathematical Society, New York, 1948.
2. A. CHURCH, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol. 5 (1940), pp. 56-68.
3. -, A formulation of the logic of sense and denotation, Structure, method and meaning; essays in honor of Henry M. Sheffer, New York, 1951, pp. 3-24. revisions of the system of this paper were published in NOUS, vol. 7 (1973), pp. 24-33; vol. 8 (1974), pp. 135-156; and vol. 27 (1993), pp. 141-157.
4. -, A formulation of the logic of sense and denotation, Structure, method and meaning; essays in honor of Henry M. Sheffer, New York, 1951, pp. 3-24. revisions of the system of this paper were published in NOUS, vol. 7 (1973), pp. 24-33; vol. 8 (1974), pp. 135-156; and vol. 27 (1993), pp. 141-157.
5. -, A formulation of the logic of sense and denotation, Structure, method and meaning; essays in honor of Henry M. Sheffer, New York, 1951, pp. 3-24. revisions of the system of this paper were published in NOUS, vol. 7 (1973), pp. 24-33; vol. 8 (1974), pp. 135-156; and vol. 27 (1993), pp. 141-157.
6. -, A formulation of the logic of sense and denotation, Structure, method and meaning; essays in honor of Henry M. Sheffer, New York, 1951, pp. 3-24. revisions of the system of this paper were published in NOUS, vol. 7 (1973), pp. 24-33; vol. 8 (1974), pp. 135-156; and vol. 27 (1993), pp. 141-157.
7. -, Introduction to mathematical logic, I, Princeton University Press Princeton, 1956.
8. S. FEFERMAN, Some applications of the notions of forcing and generic sets, Fundamenta Mathematicae, vol. 56 (1965), pp. 325-245.
9. S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort (editors), Kurt Gödel collected works, vol. I, Oxford University Press, Oxford, 1986.
10. S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort (editors), Kurt Gödel collected works, vol. II, Oxford University Press, Oxford, 1992.
11. K. GÖDEL, Über die Vollständigkeit des Logikkalküls, Doctoral dissertation, University of Vienna, 1929, reprinted in Kurt Gödel Collected Works, vol. I. pp. 60-100.
12. -, Die Vollständigkeit der Axiome des logischen Funktionenkalküle, Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 349-360.
13. -, Über formal unentscheibare Sätze der Principia mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik, vol. 38 (1931). pp. 173-198.
14. -, The consistency of the axiom of choice and the generalized continuumhypothesis with the axioms of set theory, Annals of Mathematics Studies No. 3, Princeton University Press, Princeton, 1940.
15. G. HASENJAEGER, Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikaten-kalküls der ersten Stufe, The Journal of Symbolic Logic, vol. 18 (1953), pp. 42-48.
16. L. HENKIN, The completeness of the first-order functional calculus, The Journal of Symbolic Logic, vol. 14 (1949), pp. 159-166.
17. -, Completeness in the theory of types, The Journal of Symbolic Logic, vol. 15 (1950), pp. 81-91.
18. -, Some interconnections between modern algebra and mathematical logic, Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410-427.
19. D. HILBERT and W. ACKERMANN, Grundzüge der theoretischen Logik, Springer-Verlag, Berlin, 1928.
20. E. NAGEL and J. R. NEWMAN, Gödel's proof, New York University Press, New York, 1958.
21. W. V. QUINE, Completeness of the propositional calculus, The Journal of Symbolic Logic, vol. 3 (1938), pp. 37-40.
22. B. RUSSELL, Principles of mathematics, Cambridge University Press, Cambridge, 1903.
23. M. H. STONE, The theory of representation for Boolean algebras, Transactions of the American Mathematical Society, vol. 40 (1936), pp. 37-111.
24. A. TARSKI, Contributions to the theory of models, I, II, III, Indagationes Mathematicae, vol. 16 (1954), pp. 572-581, 582-588.
25. -, Contributions to the theory of models, I, II, III, Indagationes Mathematicae, vol. 17 (1955), pp. 56-64.
26. O. VEBLEN and J. W. YOUNG, Projective geometry, vol. I, Ginn and Company, New York, 1910.
27. -, Projective geometry, vol. II, Ginn and Company, New York, 1918.
28. A. N. WHITEHEAD and B. RUSSELL, Principia mathematica, vol. 1, Cambridge University Press, Cambridge, 1910.
29. -, Principia mathematica, vol. 2, Cambridge University Press, Cambridge, 1912.
30. -, Principia mathematica, vol. 3, Cambridge University Press, Cambridge, 1913.