Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/Ambos-SpiesF01,
  author       = {Klaus Ambos{-}Spies and
                  Peter A. Fejer},
  title        = {Embedding of N\({}_{\mbox{5}}\) and the contiguous degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {2-3},
  pages        = {151--188},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00028-8},
  doi          = {10.1016/S0168-0072(01)00028-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ambos-SpiesF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Arana01,
  author       = {Andrew P. Arana},
  title        = {Solovay's theorem cannot be simplified},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {1},
  pages        = {27--41},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00095-1},
  doi          = {10.1016/S0168-0072(01)00095-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Arana01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Astier01,
  author       = {Vincent Astier},
  title        = {Some model-theoretic results in the algebrais theory of quadratic
                  forms},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {2-3},
  pages        = {189--223},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00029-X},
  doi          = {10.1016/S0168-0072(01)00029-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Astier01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BlassGS01,
  author       = {Andreas Blass and
                  Yuri Gurevich and
                  Saharon Shelah},
  title        = {Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100
                  {(1999)} 141-187},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {1},
  pages        = {117},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00086-0},
  doi          = {10.1016/S0168-0072(01)00086-0},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BlassGS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Englert01,
  author       = {Burkhard Englert},
  title        = {A necessary and sufficient condition for embedding principally decomposable
                  finite lattices into the computable enumerable degrees preserving
                  greatest element},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {1},
  pages        = {1--26},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00091-4},
  doi          = {10.1016/S0168-0072(01)00091-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Englert01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Guier01,
  author       = {Jorge I. Guier},
  title        = {Boolean products of real closed valuation rings and fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {2-3},
  pages        = {119--150},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00022-7},
  doi          = {10.1016/S0168-0072(01)00022-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Guier01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HirschH01,
  author       = {Robin Hirsch and
                  Ian M. Hodkinson},
  title        = {Relation algebras form cylindric algebras, {I}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {2-3},
  pages        = {225--266},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00084-7},
  doi          = {10.1016/S0168-0072(01)00084-7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/HirschH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HirschH01a,
  author       = {Robin Hirsch and
                  Ian M. Hodkinson},
  title        = {Relation algebras form cylindric algebras, {II}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {2-3},
  pages        = {267--297},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00085-9},
  doi          = {10.1016/S0168-0072(01)00085-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/HirschH01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hrushovski01,
  author       = {Ehud Hrushovski},
  title        = {The Manin-Mumford conjecture and the model theory of difference fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {112},
  number       = {1},
  pages        = {43--115},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(01)00096-3},
  doi          = {10.1016/S0168-0072(01)00096-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hrushovski01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}