Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/FriedmanS84,
  author       = {Harvey M. Friedman and
                  Andrej Scedrov},
  title        = {Large sets in intuitionistic set theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {1},
  pages        = {1--24},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90033-2},
  doi          = {10.1016/0168-0072(84)90033-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HoevenM84,
  author       = {Gerrit van Der Hoeven and
                  Ieke Moerdijk},
  title        = {Sheaf models for choice sequences},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {1},
  pages        = {63--107},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90035-6},
  doi          = {10.1016/0168-0072(84)90035-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HoevenM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KaufmannS84,
  author       = {Matt Kaufmann and
                  James H. Schmerl},
  title        = {Saturation and simple extensions of models of peano arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {2},
  pages        = {109--136},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90008-3},
  doi          = {10.1016/0168-0072(84)90008-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KaufmannS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KaufmannS84a,
  author       = {Matt Kaufmann and
                  Saharon Shelah},
  title        = {A nonconservativity result on global choice},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {3},
  pages        = {209--214},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90026-5},
  doi          = {10.1016/0168-0072(84)90026-5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/KaufmannS84a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kirby84,
  author       = {L. A. S. Kirby},
  title        = {Ultrafilters and types on models of arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {3},
  pages        = {215--252},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90027-7},
  doi          = {10.1016/0168-0072(84)90027-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kirby84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Millar84,
  author       = {Terrence Millar},
  title        = {Decidability and the number of countable models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {2},
  pages        = {137--153},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90009-5},
  doi          = {10.1016/0168-0072(84)90009-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Millar84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Moses84,
  author       = {Michael Moses},
  title        = {Recursive linear orders with recursive successivities},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {3},
  pages        = {253--264},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90028-9},
  doi          = {10.1016/0168-0072(84)90028-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Moses84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Mundici84,
  author       = {Daniele Mundici},
  title        = {Tautologies with a unique craig interpolant, uniform vs. nonuniform
                  complexity},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {3},
  pages        = {265--273},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90029-0},
  doi          = {10.1016/0168-0072(84)90029-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Mundici84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pearce84,
  author       = {Jon Pearce},
  title        = {A constructive consistency proof of a fragment of set theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {1},
  pages        = {25--62},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90034-4},
  doi          = {10.1016/0168-0072(84)90034-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pearce84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scedrov84,
  author       = {Andrej Scedrov},
  title        = {On some non-classical extensions of second-order intuitionistic propositional
                  calculus},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {2},
  pages        = {155--164},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90010-1},
  doi          = {10.1016/0168-0072(84)90010-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scedrov84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scowcroft84,
  author       = {Philip Scowcroft},
  title        = {The real-algebraic structure of Scott's model of intuitionistic analysis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {3},
  pages        = {275--308},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90030-7},
  doi          = {10.1016/0168-0072(84)90030-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scowcroft84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Truss84,
  author       = {John Kenneth Truss},
  title        = {Cancellation laws for surjective cardinals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {27},
  number       = {2},
  pages        = {165--208},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90011-3},
  doi          = {10.1016/0168-0072(84)90011-3},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Truss84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.