Handbook of the History of Logic - Sets and Extensions in the Twentieth Century
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Elsevier

9780444516213

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Brief History of Determinacy

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50006-2 ◽

2012 ◽

pp. 457-507

Author(s):

Paul B. Larson

Keyword(s):

Download Full-text

The History of Categorical Logic: 1963–1977

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50010-4 ◽

2012 ◽

pp. 689-800 ◽

Author(s):

Jean-Pierre Marquis ◽

Gonzalo E. Reyes

Keyword(s):

Categorical Logic ◽

Download Full-text

History of the Continuum in the 20th Century

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50002-5 ◽

2012 ◽

pp. 73-144 ◽

Author(s):

Juris Steprāns

Keyword(s):

20Th Century ◽

Download Full-text

Russell's Orders in Kripke's Theory of Truth and Computational Type Theory

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50011-6 ◽

2012 ◽

pp. 801-845

Author(s):

Fairouz Kamareddine ◽

Twan Laan ◽

Robert Constable

Keyword(s):

Type Theory ◽

Kripke’S Theory Of Truth

Download Full-text

Alternative Set Theories

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50008-6 ◽

2012 ◽

pp. 559-632 ◽

Author(s):

M. Randall Holmes ◽

Thomas Forster ◽

Thierry Libert

Keyword(s):

Alternative Set

Download Full-text

Large Cardinals with Forcing

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50004-9 ◽

2012 ◽

pp. 359-413

Author(s):

Akihiro Kanamori

Keyword(s):

Large Cardinals

Download Full-text

Set Theory from Cantor to Cohen

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50001-3 ◽

2012 ◽

pp. 1-71 ◽

Author(s):

Akihiro Kanamori

Keyword(s):

Download Full-text

Contributors

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50015-3 ◽

2012 ◽

pp. xi-xii

Download Full-text

Types, Sets, and Categories

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50009-8 ◽

2012 ◽

pp. 633-687

Author(s):

John L. Bell

Download Full-text

Singular Cardinals

Handbook of the History of Logic - Sets and Extensions in the Twentieth Century ◽

10.1016/b978-0-444-51621-3.50007-4 ◽

2012 ◽

pp. 509-558 ◽

Author(s):

Menachem Kojman

Keyword(s):

Singular Cardinals

Download Full-text