Sets and Extensions in the Twentieth Century - 1st Edition - ISBN: 9780444516213, 9780080930664

Sets and Extensions in the Twentieth Century, Volume 6

1st Edition

Series Volume Editors: Dov M. Gabbay Akihiro Kanamori John Woods
Hardcover ISBN: 9780444516213
eBook ISBN: 9780080930664
Imprint: North Holland
Published Date: 24th January 2012
Page Count: 880
Tax/VAT will be calculated at check-out
205.00
165.00
270.00
289.94
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


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


Description

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

Key Features

  • Serves as a singular contribution to the intellectual history of the 20th century
  • Contains the latest scholarly discoveries and interpretative insights

Readership

Researchers and graduate students in all areas of logic: Historians of logic, cognitive psychologists, computer scientists, mathematicians


Details

No. of pages:
880
Language:
English
Copyright:
© North Holland 2012
Published:
Imprint:
North Holland
eBook ISBN:
9780080930664
Hardcover ISBN:
9780444516213

About the Series Volume Editors

Dov M. Gabbay Series Volume Editor

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Affiliations and Expertise

King's College London, UK

Akihiro Kanamori Series Volume Editor

John Woods Series Volume Editor

Affiliations and Expertise

University of British Columbia, Vancouver, Canada