Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/BaldwinET07,
  author       = {John T. Baldwin and
                  Paul C. Eklof and
                  Jan Trlifaj},
  title        = {'bottom'\({}_{\mbox{N}}\) as an abstract elementary class},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {25--39},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.06.003},
  doi          = {10.1016/J.APAL.2007.06.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BaldwinET07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CummingsD07,
  author       = {James Cummings and
                  Natasha Dobrinen},
  title        = {The hyper-weak distributive law and a related game in Boolean algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {14--24},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.05.005},
  doi          = {10.1016/J.APAL.2007.05.005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/CummingsD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Laver07,
  author       = {Richard Laver},
  title        = {Certain very large cardinals are not created in small forcing extensions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {1--6},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.07.002},
  doi          = {10.1016/J.APAL.2007.07.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Laver07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MildenbergerS07,
  author       = {Heike Mildenberger and
                  Saharon Shelah},
  title        = {Increasing the groupwise density number by c.c.c. forcing},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {7--13},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.07.001},
  doi          = {10.1016/J.APAL.2007.07.001},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/MildenbergerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Rasga07,
  author       = {Jo{\~{a}}o Rasga},
  title        = {Sufficient conditions for cut elimination with complexity analysis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {81--99},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.08.001},
  doi          = {10.1016/J.APAL.2007.08.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Rasga07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scowcroft07,
  author       = {Philip Scowcroft},
  title        = {Elimination of unbounded quantifiers for some poly-regular groups
                  of infinite rank},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {40--80},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.07.004},
  doi          = {10.1016/J.APAL.2007.07.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scowcroft07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Usuba07,
  author       = {Toshimichi Usuba},
  title        = {Local saturation of the non-stationary ideal over P\({}_{\mbox{k}}\)lambda},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {149},
  number       = {1-3},
  pages        = {100--123},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.08.002},
  doi          = {10.1016/J.APAL.2007.08.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Usuba07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}