BibTeX records: Daniel W. Cunningham

download as .bib file

@article{DBLP:journals/aml/Cunningham20,
  author    = {Daniel W. Cunningham},
  title     = {A diamond-plus principle consistent with {AD}},
  journal   = {Arch. Math. Log.},
  volume    = {59},
  number    = {5-6},
  pages     = {755--775},
  year      = {2020},
  url       = {https://doi.org/10.1007/s00153-020-00715-w},
  doi       = {10.1007/s00153-020-00715-w},
  timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham17,
  author    = {Daniel W. Cunningham},
  title     = {A strong partition cardinal above {\(\Theta\)}},
  journal   = {Arch. Math. Log.},
  volume    = {56},
  number    = {3-4},
  pages     = {403--421},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00153-017-0529-8},
  doi       = {10.1007/s00153-017-0529-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cunningham17,
  author    = {Daniel W. Cunningham},
  title     = {A Diamond Principle Consistent with {AD}},
  journal   = {Notre Dame J. Formal Log.},
  volume    = {58},
  number    = {3},
  pages     = {397--407},
  year      = {2017},
  url       = {https://doi.org/10.1215/00294527-2017-0008},
  doi       = {10.1215/00294527-2017-0008},
  timestamp = {Thu, 21 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ndjfl/Cunningham17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham15,
  author    = {Daniel W. Cunningham},
  title     = {Strong partition cardinals and determinacy in {\textdollar}{\textdollar}\{K({\textbackslash}mathbb\{R\})\}{\textdollar}{\textdollar}
               {K} {(} {R} {)}},
  journal   = {Arch. Math. Log.},
  volume    = {54},
  number    = {1-2},
  pages     = {173--192},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00153-014-0407-6},
  doi       = {10.1007/s00153-014-0407-6},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham12,
  author    = {Daniel W. Cunningham},
  title     = {Scales of minimal complexity in {KR}},
  journal   = {Arch. Math. Log.},
  volume    = {51},
  number    = {3-4},
  pages     = {319--351},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00153-012-0267-x},
  doi       = {10.1007/s00153-012-0267-x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cunningham10,
  author    = {Daniel W. Cunningham},
  title     = {A Covering Lemma for {HOD} of \emph{K}({\(\mathbb{R}\)})},
  journal   = {Notre Dame J. Formal Log.},
  volume    = {51},
  number    = {4},
  pages     = {427--442},
  year      = {2010},
  url       = {https://doi.org/10.1215/00294527-2010-027},
  doi       = {10.1215/00294527-2010-027},
  timestamp = {Thu, 21 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ndjfl/Cunningham10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham07,
  author    = {Daniel W. Cunningham},
  title     = {A covering lemma for \emph{K}({\textbackslash}mathbb \emph{R})},
  journal   = {Arch. Math. Log.},
  volume    = {46},
  number    = {3-4},
  pages     = {197--221},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00153-007-0040-8},
  doi       = {10.1007/s00153-007-0040-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham02,
  author    = {Daniel W. Cunningham},
  title     = {A covering lemma for {L(R)}},
  journal   = {Arch. Math. Log.},
  volume    = {41},
  number    = {1},
  pages     = {49--54},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001530200003},
  doi       = {10.1007/s001530200003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Cunningham02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cunningham98,
  author    = {Daniel W. Cunningham},
  title     = {Is There a Set of Reals Not in K(R)?},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {92},
  number    = {2},
  pages     = {161--210},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0168-0072(98)00003-7},
  doi       = {10.1016/S0168-0072(98)00003-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Cunningham98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cunningham98,
  author    = {Daniel W. Cunningham},
  title     = {The Fine Structure of Real Mice},
  journal   = {J. Symb. Log.},
  volume    = {63},
  number    = {3},
  pages     = {937--994},
  year      = {1998},
  url       = {https://doi.org/10.2307/2586721},
  doi       = {10.2307/2586721},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsyml/Cunningham98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cunningham95,
  author    = {Daniel W. Cunningham},
  title     = {The Real Core Model and It Scales},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {72},
  number    = {3},
  pages     = {213--289},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(94)00023-V},
  doi       = {10.1016/0168-0072(94)00023-V},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Cunningham95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics