Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jml/Arai13,
  author       = {Toshiyasu Arai},
  title        = {Proof Theory of Weak compactness},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1350003},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500037},
  doi          = {10.1142/S0219061313500037},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Arai13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Conversano13,
  author       = {Annalisa Conversano},
  title        = {Maximal Compact Subgroups in the O-Minimal Setting},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1350004},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500049},
  doi          = {10.1142/S0219061313500049},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Conversano13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Doebler13,
  author       = {Philipp Doebler},
  title        = {Rado's Conjecture Implies that All stationary Set Preserving Forcings
                  are Semiproper},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1350001},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500013},
  doi          = {10.1142/S0219061313500013},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Doebler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/DowneyJS13,
  author       = {Rodney G. Downey and
                  Carl G. Jockusch Jr. and
                  Paul E. Schupp},
  title        = {Asymptotic density and computably Enumerable Sets},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1350005},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500050},
  doi          = {10.1142/S0219061313500050},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/DowneyJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Gitik13,
  author       = {Moti Gitik},
  title        = {A Model with a Precipitous Ideal, but no Normal Precipitous Ideal},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1250008},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061312500080},
  doi          = {10.1142/S0219061312500080},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Gitik13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/GreenbergMS13,
  author       = {Noam Greenberg and
                  Antonio Montalb{\'{a}}n and
                  Theodore A. Slaman},
  title        = {Relative to any non-Hyperarithmetic Set},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1250007},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061312500079},
  doi          = {10.1142/S0219061312500079},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/GreenbergMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Hamkins13,
  author       = {Joel David Hamkins},
  title        = {Every Countable Model of Set Theory embeds into its Own Constructible
                  Universe},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1350006},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500062},
  doi          = {10.1142/S0219061313500062},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Hamkins13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/KrupinskiPS13,
  author       = {Krzysztof Krupinski and
                  Anand Pillay and
                  Slawomir Solecki},
  title        = {Borel Equivalence Relations and Lascar Strong Types},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1350008},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500086},
  doi          = {10.1142/S0219061313500086},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/KrupinskiPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/LermanST13,
  author       = {Manuel Lerman and
                  Reed Solomon and
                  Henry Towsner},
  title        = {Separating Principles below Ramsey's Theorem for Pairs},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1350007},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500074},
  doi          = {10.1142/S0219061313500074},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/LermanST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/Zapletal13,
  author       = {Jindrich Zapletal},
  title        = {Separation Problems and forcing},
  journal      = {J. Math. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1350002},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0219061313500025},
  doi          = {10.1142/S0219061313500025},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Zapletal13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}