Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/BradyR87,
  author       = {Sheryl Silibovsky Brady and
                  Jeffrey B. Remmel},
  title        = {The undecidability of the lattice of {R.E.} closed subsets of an effective
                  topological space},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {193--203},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90063-7},
  doi          = {10.1016/0168-0072(87)90063-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BradyR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DiaconescuK87,
  author       = {Radu Diaconescu and
                  Laurence Kirby},
  title        = {Models of arithmetic and categories with finiteness conditions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {123--148},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90059-5},
  doi          = {10.1016/0168-0072(87)90059-5},
  timestamp    = {Fri, 03 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/DiaconescuK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Freyd87,
  author       = {Peter J. Freyd},
  title        = {Choice and well-ordering},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {149--166},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90060-1},
  doi          = {10.1016/0168-0072(87)90060-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Freyd87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FreydFS87,
  author       = {Peter J. Freyd and
                  Harvey Friedman and
                  Andre Scedrov},
  title        = {Lindenbaum algebras of intuitionistic theories and free categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {167--172},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90061-3},
  doi          = {10.1016/0168-0072(87)90061-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FreydFS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Friedman87,
  author       = {Sy D. Friedman},
  title        = {Strong coding},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {1--3},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90057-1},
  doi          = {10.1016/0168-0072(87)90057-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Friedman87a,
  author       = {Sy D. Friedman},
  title        = {A guide to "strong coding"},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {99--122},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90058-3},
  doi          = {10.1016/0168-0072(87)90058-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Maier87,
  author       = {Berthold J. Maier},
  title        = {On countable locally described structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {205--246},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90064-9},
  doi          = {10.1016/0168-0072(87)90064-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Maier87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Schlipf87,
  author       = {John S. Schlipf},
  title        = {Decidability and definability with circumscription},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {173--191},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90062-5},
  doi          = {10.1016/0168-0072(87)90062-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Schlipf87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/WeihrauchK87,
  author       = {Klaus Weihrauch and
                  Christoph Kreitz},
  title        = {Representations of the real numbers and of the open subsets of the
                  set of real numbers},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {247--260},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90065-0},
  doi          = {10.1016/0168-0072(87)90065-0},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/WeihrauchK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/WilkieP87,
  author       = {A. J. Wilkie and
                  Jeff B. Paris},
  title        = {On the scheme of induction for bounded arithmetic formulas},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {261--302},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90066-2},
  doi          = {10.1016/0168-0072(87)90066-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/WilkieP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}