Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Aehlig08,
  author       = {Klaus Aehlig},
  title        = {Parameter-free polymorphic types},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {3--12},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.002},
  doi          = {10.1016/J.APAL.2008.06.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Aehlig08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ArslanovBO08,
  author       = {Marat M. Arslanov and
                  Ilnur I. Batyrshin and
                  Roland Sh. Omanadze},
  title        = {Structural properties of Q-degrees of n-c. e. sets},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {13--20},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.003},
  doi          = {10.1016/J.APAL.2008.06.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ArslanovBO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BarmpaliasLS08,
  author       = {George Barmpalias and
                  Andrew E. M. Lewis and
                  Frank Stephan},
  title        = {\emph{I} classes, {LR} degrees and Turing degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {21--38},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.004},
  doi          = {10.1016/J.APAL.2008.06.004},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BarmpaliasLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BergM08,
  author       = {Benno van den Berg and
                  Ieke Moerdijk},
  title        = {Aspects of predicative algebraic set theory {I:} Exact completion},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {123--159},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.013},
  doi          = {10.1016/J.APAL.2008.06.013},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BergM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Berger08,
  author       = {Ulrich Berger},
  title        = {A domain model characterising strong normalisation},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {39--50},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.005},
  doi          = {10.1016/J.APAL.2008.06.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Berger08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Biering08,
  author       = {Bodil Biering},
  title        = {Cartesian closed Dialectica categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {290--307},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.07.004},
  doi          = {10.1016/J.APAL.2008.07.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Biering08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/ChubbHMPU08,
  author       = {Jennifer Chubb and
                  Valentina S. Harizanov and
                  Andrei S. Morozov and
                  Sarah Pingrey and
                  Eric Ufferman},
  title        = {Partial automorphism semigroups},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {245--258},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.016},
  doi          = {10.1016/J.APAL.2008.06.016},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ChubbHMPU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CockettH08,
  author       = {J. Robin B. Cockett and
                  Pieter J. W. Hofstra},
  title        = {Introduction to Turing categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {183--209},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.04.005},
  doi          = {10.1016/J.APAL.2008.04.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CockettH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CooperGPV08,
  author       = {S. Barry Cooper and
                  Herman Geuvers and
                  Anand Pillay and
                  Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Preface},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {1--2},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.001},
  doi          = {10.1016/J.APAL.2008.06.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CooperGPV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DowneyGM08,
  author       = {Rod Downey and
                  Noam Greenberg and
                  Joseph S. Miller},
  title        = {The upward closure of a perfect thin class},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {51--58},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.006},
  doi          = {10.1016/J.APAL.2008.06.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DowneyGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Eleftheriou08,
  author       = {Pantelis E. Eleftheriou},
  title        = {A semi-linear group which is not affine},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {287--289},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.07.001},
  doi          = {10.1016/J.APAL.2008.07.001},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Eleftheriou08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Enayat08,
  author       = {Ali Enayat},
  title        = {A standard model of Peano arithmetic with no conservative elementary
                  extension},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {308--318},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.07.005},
  doi          = {10.1016/J.APAL.2008.07.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Enayat08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FornasieroM08,
  author       = {Antongiulio Fornasiero and
                  Marcello Mamino},
  title        = {Arithmetic of Dedekind cuts of ordered Abelian groups},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {210--244},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.05.001},
  doi          = {10.1016/J.APAL.2008.05.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FornasieroM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Friedman08,
  author       = {Harvey M. Friedman},
  title        = {What is o-minimality?},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {59--67},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.007},
  doi          = {10.1016/J.APAL.2008.06.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FriedmanO08,
  author       = {Sy{-}David Friedman and
                  Pavel Ondrejovic},
  title        = {The internal consistency of Easton's theorem},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {259--269},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.017},
  doi          = {10.1016/J.APAL.2008.06.017},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Gambino08,
  author       = {Nicola Gambino},
  title        = {The associated sheaf functor theorem in algebraic set theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {68--77},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.008},
  doi          = {10.1016/J.APAL.2008.06.008},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Gambino08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HerzogL08,
  author       = {Ivo Herzog and
                  Sonia L'Innocente},
  title        = {The nonstandard quantum plane},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {78--85},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.009},
  doi          = {10.1016/J.APAL.2008.06.009},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HerzogL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KhoussainovSY08,
  author       = {Bakhadyr Khoussainov and
                  Frank Stephan and
                  Yue Yang},
  title        = {Computable categoricity and the Ershov hierarchy},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {86--95},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.010},
  doi          = {10.1016/J.APAL.2008.06.010},
  timestamp    = {Sat, 27 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/KhoussainovSY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kowalski08,
  author       = {Piotr Kowalski},
  title        = {A note on a theorem of Ax},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {96--109},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.011},
  doi          = {10.1016/J.APAL.2008.06.011},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kowalski08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kueker08,
  author       = {David W. Kueker},
  title        = {Abstract elementary classes and infinitary logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {274--286},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.07.002},
  doi          = {10.1016/J.APAL.2008.07.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kueker08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Larson08,
  author       = {Paul B. Larson},
  title        = {Martin's Maximum and definability in H(xaleph\({}_{\mbox{2}}\))},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {110--122},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.012},
  doi          = {10.1016/J.APAL.2008.06.012},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Larson08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/MooreS08,
  author       = {Justin Tatch Moore and
                  Slawomir Solecki},
  title        = {A G\({}_{\mbox{delta}}\) ideal of compact sets strictly above the
                  nowhere dense ideal in the Tukey order},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {270--273},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.07.003},
  doi          = {10.1016/J.APAL.2008.07.003},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/MooreS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pohlers08,
  author       = {Wolfram Pohlers},
  title        = {Ordinal analysis of non-monotone \emph{I}-definable inductive definitions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {160--169},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.014},
  doi          = {10.1016/J.APAL.2008.06.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pohlers08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Reimann08,
  author       = {Jan Reimann},
  title        = {Effectively closed sets of measures and randomness},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {1},
  pages        = {170--182},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.015},
  doi          = {10.1016/J.APAL.2008.06.015},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Reimann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.