Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/apal/ApterDHZ89,
  author       = {Arthur W. Apter and
                  Carlos DiPrisco and
                  James M. Henle and
                  William S. Zwicker},
  title        = {Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding
                  Axioms},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {2},
  pages        = {93--106},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90009-2},
  doi          = {10.1016/0168-0072(89)90009-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/ApterDHZ89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BeigelGO89,
  author       = {Richard Beigel and
                  William I. Gasarch and
                  James C. Owings},
  title        = {Nondeterministic Bounded Query Reducibilities},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {2},
  pages        = {107--118},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90010-9},
  doi          = {10.1016/0168-0072(89)90010-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BeigelGO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Bouscaren89,
  author       = {Elisabeth Bouscaren},
  title        = {Dimensional Order Property and Pairs of Models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {3},
  pages        = {205--231},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90001-8},
  doi          = {10.1016/0168-0072(89)90001-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Bouscaren89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Downey89,
  author       = {Rodney G. Downey},
  title        = {Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part
                  {I:} Density},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {1},
  pages        = {1--26},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90005-5},
  doi          = {10.1016/0168-0072(89)90005-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Downey89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DowneyS89,
  author       = {Rodney G. Downey and
                  Theodore A. Slaman},
  title        = {Completely Mitotic r.e. Degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {2},
  pages        = {119--152},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90011-0},
  doi          = {10.1016/0168-0072(89)90011-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DowneyS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Friedman89,
  author       = {Sy D. Friedman},
  title        = {Minimal Coding},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {3},
  pages        = {233--297},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90002-X},
  doi          = {10.1016/0168-0072(89)90002-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HatzikiriakouS89,
  author       = {Kostas Hatzikiriakou and
                  Stephen G. Simpson},
  title        = {Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {1},
  pages        = {27--32},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90006-7},
  doi          = {10.1016/0168-0072(89)90006-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HatzikiriakouS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Krajicek89,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {On the Number of Steps in Proofs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {2},
  pages        = {153--178},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90012-2},
  doi          = {10.1016/0168-0072(89)90012-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Krajicek89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Miller89,
  author       = {Arnold W. Miller},
  title        = {Infinite Combinatorics and Definability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {2},
  pages        = {179--203},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90013-4},
  doi          = {10.1016/0168-0072(89)90013-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Miller89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pitts89,
  author       = {Andrew M. Pitts},
  title        = {Conceptual Completeness for First-Order Intuitionistic Logic: An Application
                  of Categorical Logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {1},
  pages        = {33--81},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90007-9},
  doi          = {10.1016/0168-0072(89)90007-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Pitts89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scowcroft89,
  author       = {Philip Scowcroft},
  title        = {More on Brouwer's Refutations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {1},
  pages        = {83--91},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90008-0},
  doi          = {10.1016/0168-0072(89)90008-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scowcroft89.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.