Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/Arai04,
  author       = {Toshiyasu Arai},
  title        = {Proof theory for theories of ordinals {II:} Pi\({}_{\mbox{3}}\)-reflection},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {39--92},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.01.001},
  doi          = {10.1016/J.APAL.2004.01.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Arai04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerardiV04,
  author       = {Stefano Berardi and
                  Silvio Valentini},
  title        = {Krivine's intuitionistic proof of classical completeness (for countable
                  languages)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {93--106},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.01.002},
  doi          = {10.1016/J.APAL.2004.01.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerardiV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Butz04,
  author       = {Carsten Butz},
  title        = {Saturated models of intuitionistic theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {245--275},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.03.001},
  doi          = {10.1016/J.APAL.2004.03.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Butz04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CummingsFM04,
  author       = {James Cummings and
                  Matthew Foreman and
                  Menachem Magidor},
  title        = {Canonical structure in the universe of set theory: part one},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {211--243},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.04.002},
  doi          = {10.1016/J.APAL.2004.04.002},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/CummingsFM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DellundeDP04,
  author       = {Pilar Dellunde and
                  Fran{\c{c}}oise Delon and
                  Fran{\c{c}}oise Point},
  title        = {The theory of modules of separably closed fields 2},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {181--210},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.03.002},
  doi          = {10.1016/J.APAL.2004.03.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DellundeDP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/GroheW04,
  author       = {Martin Grohe and
                  Stefan W{\"{o}}hrle},
  title        = {An existential locality theorem},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {131--148},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.01.005},
  doi          = {10.1016/J.APAL.2004.01.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GroheW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Jerabek04,
  author       = {Emil Jer{\'{a}}bek},
  title        = {Dual weak pigeonhole principle, Boolean complexity, and derandomization},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {1--37},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.12.003},
  doi          = {10.1016/J.APAL.2003.12.003},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Jerabek04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Shami04,
  author       = {Ziv Shami},
  title        = {Internality and interpretable automorphism groups in simple theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {149--162},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.12.004},
  doi          = {10.1016/J.APAL.2003.12.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Shami04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Tsaban04,
  author       = {Boaz Tsaban},
  title        = {The combinatorics of splittability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {107--130},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.03.001},
  doi          = {10.1016/J.APAL.2003.03.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Tsaban04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/YuDD04,
  author       = {Liang Yu and
                  Decheng Ding and
                  Rodney G. Downey},
  title        = {The Kolmogorov complexity of random reals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {129},
  number       = {1-3},
  pages        = {163--180},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2004.01.006},
  doi          = {10.1016/J.APAL.2004.01.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/YuDD04.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.