MAA Reviews
<< homepage
Handbook of The History of Logic, Volume 6: Sets and Extensions in the Twentieth Century
Dov M. Gabbay, Akihiro Kanamori, and John Woods, editors
Table of Contents
Set Theory from Cantor to Cohen, by Akihiro Kanamori History of the Continuum in the 20th Century, by Juris Steprans Infinite Combinatorics, by Jean A. Larson Large Cardinals with Forcing, by Akihiro Kanamori Inner Models for Large Cardinals, by William J. Mitchell A Brief History of Determinacy, by Paul B. Larson Singular Cardinals: From Hausdorff's Gaps to Shelah's pcf Theory, by Menachem Kojman Alternative Set Theories, by M. Randall Holmes, Thomas Forster, and Thierry Libert Types, Sets, and Categories, by John L. Bell The History of Categorical Logic: 1963-1977, by Jean-Pierre Marquis and Gonzalo E. Reyes Russell's Orders in Kripke's Theory of Truth and Computational Type Theory, by Fairouz Kamareddine, Twan Laan, and Robert Constable
Back to book details
|