Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Elsevier,
2012.
|
| Edición: | 1st ed. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- 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.