Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/ApterM95,
  author       = {Arthur W. Apter and
                  Menachem Magidor},
  title        = {Instances of Dependent Choice and the Measurability of aleph\({}_{\mbox{omega
                  + 1}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {3},
  pages        = {203--219},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00039-6},
  doi          = {10.1016/0168-0072(94)00039-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ApterM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BussI95,
  author       = {Samuel R. Buss and
                  Aleksandar Ignjatovic},
  title        = {Unprovability of Consistency Statements in Fragments of Bounded Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {3},
  pages        = {221--244},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00049-9},
  doi          = {10.1016/0168-0072(94)00049-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BussI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Cornaros95,
  author       = {Charalampos Cornaros},
  title        = {On Grzegorczyk Induction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {1},
  pages        = {1--21},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00029-3},
  doi          = {10.1016/0168-0072(94)00029-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Cornaros95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Hauser95,
  author       = {Kai Hauser},
  title        = {The Consistency Strength of Projective Absoluteness},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {3},
  pages        = {245--295},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00041-Z},
  doi          = {10.1016/0168-0072(94)00041-Z},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Hauser95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/JagerS95,
  author       = {Gerhard J{\"{a}}ger and
                  Thomas Strahm},
  title        = {Totality in Applicative Theories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {2},
  pages        = {105--120},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00037-4},
  doi          = {10.1016/0168-0072(94)00037-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/JagerS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KolaitisV95,
  author       = {Phokion G. Kolaitis and
                  Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Generalized Quantifiers and Pebble Games on Finite Structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {1},
  pages        = {23--75},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00025-X},
  doi          = {10.1016/0168-0072(94)00025-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KolaitisV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pavlovic95,
  author       = {Dusko Pavlovic},
  title        = {On Completeness and Cocompleteness in an Around Small Categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {2},
  pages        = {121--152},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00035-2},
  doi          = {10.1016/0168-0072(94)00035-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pavlovic95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Schimmerling95,
  author       = {Ernest Schimmerling},
  title        = {Combinatorial Principle in the Core Model for one Woodin Cardinal},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {2},
  pages        = {153--201},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00036-3},
  doi          = {10.1016/0168-0072(94)00036-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Schimmerling95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Steel95,
  author       = {John R. Steel},
  title        = {Projectively Well-Ordered Inner Models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {74},
  number       = {1},
  pages        = {77--104},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00021-T},
  doi          = {10.1016/0168-0072(94)00021-T},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Steel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}