-
173The mathematical development of set theory from Cantor to CohenBulletin of Symbolic Logic 2 (1): 1-71. 1996.Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crise…Read more
-
1Set theory. Gödel and set theoryIn Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial, Association For Symbolic Logic. 2010.
-
50Atlanta Marriott Marquis, Atlanta, Georgia January 7–8, 2005Bulletin of Symbolic Logic 11 (3). 2005.
-
13Perfect-set forcing for uncountable cardinalsAnnals of Mathematical Logic 19 (1-2): 97-114. 1980.
-
21Laver and set theoryArchive for Mathematical Logic 55 (1-2): 133-164. 2016.In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.
-
Boston UniversityRegular Faculty
Boston, Massachusetts, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |