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 = {Fri, 21 Feb 2020 00:00:00 +0100},
  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