Loading…

Handbook of the history of logic. Volume 6, Sets and extensions in the Twentieth Century /

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a b...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Kanamori, Akihiro, Gabbay, Dov M., 1945-, Woods, John (John Hayden)
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; Boston : Elsevier, 2012.
Edition:1st ed.
Subjects:
Online Access:Texto completo
Texto completo
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.