Search dblp for Publications

export results for "toc:db/series/hhl/hhl6.bht:"

 download as .bib file

@book{DBLP:series/hhl/6,
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  publisher    = {Elsevier},
  year         = {2012},
  isbn         = {978-0-444-51621-3},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/6.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Bell12,
  author       = {John L. Bell},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Types, Sets, and Categories},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {633--687},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50009-8},
  doi          = {10.1016/B978-0-444-51621-3.50009-8},
  timestamp    = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Bell12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/HolmesFL12,
  author       = {M. Randall Holmes and
                  Thomas E. Forster and
                  Thierry Libert},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Alternative Set Theories},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {559--632},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50008-6},
  doi          = {10.1016/B978-0-444-51621-3.50008-6},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/HolmesFL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/KamareddineLC12,
  author       = {Fairouz Kamareddine and
                  Twan Laan and
                  Robert L. Constable},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Russell's Orders in Kripke's Theory of Truth and Computational Type
                  Theory},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {801--845},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50011-6},
  doi          = {10.1016/B978-0-444-51621-3.50011-6},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/KamareddineLC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Kanamori12,
  author       = {Akihiro Kanamori},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Set Theory from Cantor to Cohen},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {1--71},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50001-3},
  doi          = {10.1016/B978-0-444-51621-3.50001-3},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Kanamori12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Kanamori12a,
  author       = {Akihiro Kanamori},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Large Cardinals with Forcing},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {359--413},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50004-9},
  doi          = {10.1016/B978-0-444-51621-3.50004-9},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Kanamori12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Kojman12,
  author       = {Menachem Kojman},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Singular Cardinals: From Hausdorff's Gaps to Shelah's {PCF} Theory},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {509--558},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50007-4},
  doi          = {10.1016/B978-0-444-51621-3.50007-4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Kojman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Larson12,
  author       = {Jean A. Larson},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Infinite Combinatorics},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {145--357},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50003-7},
  doi          = {10.1016/B978-0-444-51621-3.50003-7},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Larson12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Larson12a,
  author       = {Paul B. Larson},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {A Brief History of Determinacy},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {457--507},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50006-2},
  doi          = {10.1016/B978-0-444-51621-3.50006-2},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/Larson12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/MarquisR12,
  author       = {Jean{-}Pierre Marquis and
                  Gonzalo E. Reyes},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {The History of Categorical Logic: 1963-1977},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {689--800},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50010-4},
  doi          = {10.1016/B978-0-444-51621-3.50010-4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/hhl/MarquisR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Mitchell12,
  author       = {William J. Mitchell},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {Inner Models for Large Cardinals},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {415--456},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50005-0},
  doi          = {10.1016/B978-0-444-51621-3.50005-0},
  timestamp    = {Fri, 16 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/hhl/Mitchell12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/Steprans12,
  author       = {Juris Steprans},
  editor       = {Dov M. Gabbay and
                  Akihiro Kanamori and
                  John Woods},
  title        = {History of the Continuum in the 20\({}^{\mbox{th}}\) Century},
  booktitle    = {Sets and Extensions in the Twentieth Century},
  series       = {Handbook of the History of Logic},
  volume       = {6},
  pages        = {73--144},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-444-51621-3.50002-5},
  doi          = {10.1016/B978-0-444-51621-3.50002-5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/hhl/Steprans12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.