Table of Contents

1: Robert M. Solovay: Introductory Note to 1938, 1939 and 1940
2: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis
3. Consistency Proof for the Generalized Continuum Hypothesis
4: The Consistency of the Axiom of Choice and of the Generalized Continuum Hyothesis with the Axioms of Set Theory
5: Charles Parsons: Introductory Note to 1946
6: Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics
7: Gregory H. Moore: Introductory Note to 1947 and 1964
8: What is Cantor's Continuum Problem?
9: S.W. Hawking: Introductory Note to 1949 and 1952
10: An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
11: A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy
12: Rotating Universes in General Relativity Theory
13: A.S. Troelstra: Introductory Note to 1958 and 1972
14: On a Hiterto Unutilized Extension of the Finitary Standpoint
15: Postscript to Spector 1962
16: What is Cantor's Continuum problem?
17: On an Extension of Finitary Mathematics Which has not Yet Been Used
18: Some Remarks on the Undecidability Results
19: Jens E. Fenstad: Introductory Note to 1974
20: Remark on Non-Standard Analysis

About the Author

The Editor-in-Chief
Solomon 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 Editors
John 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.

Reviews

the presentation is impeccable. The introductory notes which explicate Godel's thought are notable papers in themselves ... Such is the thoroughness of the enterprise in making Godel's work accessible, this volume concludes with addenda and corrigenda to Volume I! ... Connoisseurs of mathematical logic and the history and philosophy of mathematics will cherish the opportunity afforded by this volume (and by the first volume, too) to gain insight into the mind of one of the greatest logicians of all time. The Mathematical Gazette The books are carefully and beautifully produced and offer rich material, illuminating not only the outstanding work of Godel, but also the whole mathematical logic of the twentieth century, including some philosophical and historical aspects. EMS