Search dblp for Publications

export results for "toc:db/journals/apal/apal82.bht:"

 download as .bib file

@article{DBLP:journals/apal/Avigad96,
  author    = {Jeremy Avigad},
  title     = {Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {2},
  pages     = {165--191},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(96)00003-6},
  doi       = {10.1016/0168-0072(96)00003-6},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Avigad96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CesatiF96,
  author    = {Marco Cesati and
               Michael R. Fellows},
  title     = {Sparse Parameterized Problems},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {1},
  pages     = {1--15},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00069-0},
  doi       = {10.1016/0168-0072(95)00069-0},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/CesatiF96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperSY96,
  author    = {S. Barry Cooper and
               Andrea Sorbi and
               Xiaoding Yi},
  title     = {Cupping and Noncupping in the Enumeration Degrees of Sigma\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)
               Sets},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {3},
  pages     = {317--342},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0168-0072(96)00009-7},
  doi       = {10.1016/S0168-0072(96)00009-7},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/CooperSY96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GitikM96,
  author    = {Moti Gitik and
               William J. Mitchell},
  title     = {Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {3},
  pages     = {273--316},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0168-0072(96)00007-3},
  doi       = {10.1016/S0168-0072(96)00007-3},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/GitikM96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GlassS96,
  author    = {Thomas Gla{\ss} and
               Thomas Strahm},
  title     = {Systems of Explicit Mathematics with Non-Constructive {\(\mathrm{\mu}\)}-Operator
               and Join},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {2},
  pages     = {193--219},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0168-0072(96)00005-X},
  doi       = {10.1016/S0168-0072(96)00005-X},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/GlassS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Grohe96,
  author    = {Martin Grohe},
  title     = {Arity Hierarchies},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {2},
  pages     = {103--163},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00072-0},
  doi       = {10.1016/0168-0072(95)00072-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Grohe96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HjorthK96,
  author    = {Greg Hjorth and
               Alexander S. Kechris},
  title     = {Borel Equivalence Relations and Classifications of Countable Models},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {3},
  pages     = {221--272},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0168-0072(96)00006-1},
  doi       = {10.1016/S0168-0072(96)00006-1},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/HjorthK96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Shelah96a,
  author    = {Saharon Shelah},
  title     = {In the Random Graph G(n, p), p = n\({}^{\mbox{-a}}\): If psi Has Probability
               O(n\({}^{\mbox{-epsilon}}\)) for Every epsilon{\textgreater}0 Then
               it Has Probability O(e\({}^{\mbox{-n\({}^{\mbox{epsilon}}\)}}\)) for
               Some epsilon{\textgreater}0},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {1},
  pages     = {97--102},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00071-2},
  doi       = {10.1016/0168-0072(95)00071-2},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/apal/Shelah96a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Yi96,
  author    = {Xiaoding Yi},
  title     = {A Non-Splitting Theorem for d.r.e. Sets},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {82},
  number    = {1},
  pages     = {17--96},
  year      = {1996},
  url       = {https://doi.org/10.1016/0168-0072(95)00070-4},
  doi       = {10.1016/0168-0072(95)00070-4},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Yi96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics