Search dblp for Publications

• > Home > Search

@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    = {Sat, 30 Sep 2023 01:00:00 +0200},
  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}
}