default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSets and Extensions in the Twentieth Century 2012
- Dov M. Gabbay, Akihiro Kanamori, John Woods:
Sets and Extensions in the Twentieth Century. Handbook of the History of Logic 6, Elsevier 2012, ISBN 978-0-444-51621-3 - Akihiro Kanamori:
Set Theory from Cantor to Cohen. 1-71 - Juris Steprans
:
History of the Continuum in the 20th Century. 73-144 - Jean A. Larson:
Infinite Combinatorics. 145-357 - Akihiro Kanamori:
Large Cardinals with Forcing. 359-413 - William J. Mitchell:
Inner Models for Large Cardinals. 415-456 - Paul B. Larson:
A Brief History of Determinacy. 457-507 - Menachem Kojman:
Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory. 509-558 - M. Randall Holmes, Thomas E. Forster, Thierry Libert:
Alternative Set Theories. 559-632 - John L. Bell:
Types, Sets, and Categories. 633-687 - Jean-Pierre Marquis, Gonzalo E. Reyes:
The History of Categorical Logic: 1963-1977. 689-800 - Fairouz Kamareddine, Twan Laan, Robert L. Constable:
Russell's Orders in Kripke's Theory of Truth and Computational Type Theory. 801-845
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-22 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
