Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jml/DzamonjaV11,
  author       = {Mirna Dzamonja and
                  Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Chain Models, Trees of singular Cardinality and Dynamic EF-Games},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0219061311001006},
  doi          = {10.1142/S0219061311001006},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/DzamonjaV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Kjos-Hanssen11,
  author       = {Bj{\o}rn Kjos{-}Hanssen},
  title        = {A Strong Law of computationally Weak Subsets},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0219061311000980},
  doi          = {10.1142/S0219061311000980},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Kjos-Hanssen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Krajicek11,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {On the Proof Complexity of the Nisan-Wigderson Generator based on
                  a Hard {NP} {\(\cap\)} coNP function},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0219061311000979},
  doi          = {10.1142/S0219061311000979},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Krajicek11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/KruegerS11,
  author       = {John Krueger and
                  Ernest Schimmerling},
  title        = {An equiconsistency Result on Partial squares},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0219061311000992},
  doi          = {10.1142/S0219061311000992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/KruegerS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/MagidorV11,
  author       = {Menachem Magidor and
                  Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {On l{\"{o}}Wenheim-Skolem-Tarski numbers for Extensions of First
                  order Logic},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0219061311001018},
  doi          = {10.1142/S0219061311001018},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/MagidorV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Woodin11,
  author       = {W. Hugh Woodin},
  title        = {Suitable Extender Models {II:} beyond {\(\omega\)}-Huge},
  journal      = {J. Math. Log.},
  volume       = {11},
  number       = {2},
  year         = {2011},
  url          = {https://doi.org/10.1142/S021906131100102X},
  doi          = {10.1142/S021906131100102X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Woodin11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}