Kurt Gödel: Collected Works: Volume II

The Editor-in-ChiefSolomon Feferman is Professor of Mathematics and Philosophy, and Chairman of the Department of Mathematics at Stanford University. He is past president of the Association of Symbolic Logic.The EditorsJohn W. Dawson, Jr., is Professor of Mathematics at Pennsylvania State University, York.Steven C. Kleene is Emeritus Dean of Letters and Science, and Emeritus Professor of Mathematics and Computer Science at the University of Wisconsin, Madison.Gregory H. Moore is Associate Professor of Mathematics at McMaster University, Hamilton, Ontario, Canada.Robert M. Solovay is Professor of Mathematics at the University of California, Berkeley.The late Jean van Heijenoort was Emeritus Professor of Philosophy at Brandeis University until his death in 1986.

• Gödel 1938: Introductory note to 1938, 1939, 1939a, and 1940 by Robert M. Solovay; The consistency of the axiom of choice and of the generalized continuum hypothesis; Gödel 1939: the consistency of the generalized continuum hypothesis; Gödel 1939a: Consistency proof for the generalized continuum hypothesis; Gödel 1940: the consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory; Gödel 1944: Introductory note to 1944 by Charles Parsons; Russell's mathematical logic; Gödel 1946: Introductory note to 1946 by Charles Parsons; Remarks before the Princeton bicentennial conference on problems in mathematics; Gödel 1947: Introductory note to 1947 and 1964 by Gregory H. Moore; What is Cantor's continuum problem?; Gödel 1949: Introductory note to 1949 and 1952 by S.W. Hawking; An example of a new type of cosmological solutions of Einstein's field equations of gravitation; Gödel 1949a: Introductory note to 1949a by Howard Stein; A remark about the relationship between relativity theory and idealistic philosophy; Gödel 1952: Rotaoting universes in general relativity theory; Gödel 1958: Introductory note to 1958 and 1972 by A.S. Troelstra; Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes; On a hitherto unutilized extension of the finitary standpoint; Gödel 1962: postscript to Spector 1962; Gödel 1964: What is Cantor's continuum problem? Gödel 1972: On an extension of finitary mathematics which has not yet been used; Gödel 1972a: Introductory note to 1972a by Solomon Feferman, Robert M. Solovay, and Judson C. Webb; Some remarks on the undecidability results; Gödel 1974: Introductory note to 1974 by Jens Erik Fenstad; Remark on non-standard analysis; Textual notes; References.

From reviews of Volume I:Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and the significance of what Gödel and, in turn, mathematical logic have accomplished.