Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/Ambos-SpiesLS93,
  author       = {Klaus Ambos{-}Spies and
                  Alistair H. Lachlan and
                  Robert I. Soare},
  title        = {The Continuity of Cupping to 0'},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {3},
  pages        = {195--209},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90143-2},
  doi          = {10.1016/0168-0072(93)90143-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ambos-SpiesLS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Farmer93,
  author       = {William M. Farmer},
  title        = {A Simple Type Theory with Partial Functions and Subtypes},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {3},
  pages        = {211--240},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90144-3},
  doi          = {10.1016/0168-0072(93)90144-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Farmer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Huberich93,
  author       = {Markus Huberich},
  title        = {Large Ideals on Small Cardinals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {3},
  pages        = {241--271},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90145-4},
  doi          = {10.1016/0168-0072(93)90145-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Huberich93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HylandP93,
  author       = {Martin Hyland and
                  Valeria de Paiva},
  title        = {Full Intuitionistic Linear Logic (extended abstract)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {3},
  pages        = {273--291},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90146-5},
  doi          = {10.1016/0168-0072(93)90146-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HylandP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Ignatiev93,
  author       = {Konstantin N. Ignatiev},
  title        = {The Provability Logic for sigma\({}_{\mbox{1}}\)-Interpolability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {1},
  pages        = {1--25},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90212-V},
  doi          = {10.1016/0168-0072(93)90212-V},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ignatiev93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kohlenbach93,
  author       = {Ulrich Kohlenbach},
  title        = {Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding
                  of de La Vall{\'{e}}e Poussin's Proof for Chebycheff Approximation},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {1},
  pages        = {27--94},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90213-W},
  doi          = {10.1016/0168-0072(93)90213-W},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kohlenbach93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Ratajczyk93,
  author       = {Zygmunt Ratajczyk},
  title        = {Subsystems of True Arithmetic and Hierarchies of Functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {2},
  pages        = {95--152},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90031-8},
  doi          = {10.1016/0168-0072(93)90031-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ratajczyk93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Schlindwein93,
  author       = {Chaz Schlindwein},
  title        = {Suslin's Hypothesis Does Not Imply Stationary Antichains},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {2},
  pages        = {153--167},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90032-9},
  doi          = {10.1016/0168-0072(93)90032-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Schlindwein93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ShelahLH93,
  author       = {Saharon Shelah and
                  Claude Laflamme and
                  Bradd Hart},
  title        = {Models with Second Order Properties {V:} {A} General Principle},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {64},
  number       = {2},
  pages        = {169--194},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90033-A},
  doi          = {10.1016/0168-0072(93)90033-A},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ShelahLH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}