Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/Beklemishev97,
  author       = {Lev D. Beklemishev},
  title        = {Induction Rules, Reflection Principles, and Provably Recursive Functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {3},
  pages        = {193--242},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00045-0},
  doi          = {10.1016/S0168-0072(96)00045-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Beklemishev97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GlassRS97,
  author       = {Thomas Gla{\ss} and
                  Michael Rathjen and
                  Andreas Schl{\"{u}}ter},
  title        = {On the Proof-Theoretic Strength of Monotone Induction in Explicit
                  Mathematics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {1},
  pages        = {1--46},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00040-1},
  doi          = {10.1016/S0168-0072(96)00040-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GlassRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Japaridze97,
  author       = {Giorgi Japaridze},
  title        = {A Constructive Game Semantics for the Language of Linear Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {2},
  pages        = {87--156},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00046-8},
  doi          = {10.1016/S0168-0072(97)00046-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Japaridze97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/JinS97,
  author       = {Renling Jin and
                  Saharon Shelah},
  title        = {Can a Small Forcing Create Kurepa Trees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {1},
  pages        = {47--68},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00018-8},
  doi          = {10.1016/S0168-0072(96)00018-8},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/JinS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Otto97,
  author       = {Martin Otto},
  title        = {Canonization for Two Variables and Puzzles on the Square},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {3},
  pages        = {243--282},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00047-4},
  doi          = {10.1016/S0168-0072(96)00047-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Otto97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Palmgren97,
  author       = {Erik Palmgren},
  title        = {A Sheaf-Theoretic Foundation for Nonstandard Analysis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {1},
  pages        = {69--86},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00041-3},
  doi          = {10.1016/S0168-0072(96)00041-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Palmgren97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Stanley97,
  author       = {M. C. Stanley},
  title        = {A Non-Generic Real Incompatible with 0\({}^{\mbox{{\#}}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {85},
  number       = {2},
  pages        = {157--192},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00033-4},
  doi          = {10.1016/S0168-0072(96)00033-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Stanley97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}