Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/AbrahamRS85,
  author       = {Uri Abraham and
                  Matatyahu Rubin and
                  Saharon Shelah},
  title        = {On the consistency of some partition theorems for continuous colorings,
                  and the structure of aleph\({}_{\mbox{1}}\)-dense real order types},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {2},
  pages        = {123--206},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(84)90024-1},
  doi          = {10.1016/0168-0072(84)90024-1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/AbrahamRS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KalantariW85,
  author       = {Iraj Kalantari and
                  Galen Weitkamp},
  title        = {Effective topological spaces {I:} a definability theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {1},
  pages        = {1--27},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90033-8},
  doi          = {10.1016/0168-0072(85)90033-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KalantariW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KalantariW85a,
  author       = {Iraj Kalantari and
                  Galen Weitkamp},
  title        = {Effective topological spaces {II:} {A} hierarchy},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {2},
  pages        = {207--224},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(84)90025-3},
  doi          = {10.1016/0168-0072(84)90025-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KalantariW85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Lerman85,
  author       = {Manuel Lerman},
  title        = {Upper bounds for the arithmetical degrees},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {3},
  pages        = {225--254},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90001-6},
  doi          = {10.1016/0168-0072(85)90001-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Lerman85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Scarpellini85,
  author       = {Bruno Scarpellini},
  title        = {Lower bound results on lengths of second-order formulas},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {1},
  pages        = {29--58},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90034-X},
  doi          = {10.1016/0168-0072(85)90034-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Scarpellini85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Schrieber85,
  author       = {Leonard Schrieber},
  title        = {Recursive properties of euclidean domains},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {1},
  pages        = {59--77},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90035-1},
  doi          = {10.1016/0168-0072(85)90035-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Schrieber85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Shelah85,
  author       = {Saharon Shelah},
  title        = {Remarks in abstract model theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {3},
  pages        = {255--288},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90002-8},
  doi          = {10.1016/0168-0072(85)90002-8},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Shelah85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Slaman85,
  author       = {Theodore A. Slaman},
  title        = {Reflection and forcing in E-recursion theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {1},
  pages        = {79--106},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90036-3},
  doi          = {10.1016/0168-0072(85)90036-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Slaman85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Stern85,
  author       = {Jacques Stern},
  title        = {Regularity properties of definable sets of reals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {3},
  pages        = {289--324},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90003-X},
  doi          = {10.1016/0168-0072(85)90003-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Stern85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Sureson85,
  author       = {Claude Sureson},
  title        = {P-points and Q-points over a measurable cardinal},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {29},
  number       = {1},
  pages        = {107--122},
  year         = {1985},
  url          = {https://doi.org/10.1016/0168-0072(85)90037-5},
  doi          = {10.1016/0168-0072(85)90037-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Sureson85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}