Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/Cummings93,
  author       = {James Cummings},
  title        = {Possible Behaviours for the Mitchell Ordering},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {2},
  pages        = {107--123},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90034-B},
  doi          = {10.1016/0168-0072(93)90034-B},
  timestamp    = {Thu, 05 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Cummings93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Dougherty93,
  author       = {Randall Dougherty},
  title        = {Critical Points in an Algebra of Elementary Embeddings},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {3},
  pages        = {211--241},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90012-3},
  doi          = {10.1016/0168-0072(93)90012-3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Dougherty93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/DowneyS93,
  author       = {Rodney G. Downey and
                  Michael Stob},
  title        = {Splitting Theorems in Recursion Theory},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {1},
  pages        = {1--106},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90234-5},
  doi          = {10.1016/0168-0072(93)90234-5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/DowneyS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/FefermanJ93,
  author       = {Solomon Feferman and
                  Gerhard J{\"{a}}ger},
  title        = {Systems of Explicit Mathematics with Non-Constructive {\(\mathrm{\mu}\)}-Operator,
                  Part {I}},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {3},
  pages        = {243--263},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90013-4},
  doi          = {10.1016/0168-0072(93)90013-4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/FefermanJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KossakKS93,
  author       = {Roman Kossak and
                  Henryk Kotlarski and
                  James H. Schmerl},
  title        = {On Maximal Subgroups of the Automorphism Group of a Countable Recursively
                  Saturated Model of {PA}},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {2},
  pages        = {125--148},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90035-C},
  doi          = {10.1016/0168-0072(93)90035-C},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/KossakKS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/McNaughton93,
  author       = {Robert McNaughton},
  title        = {Infinite Games Played on Finite Graphs},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {2},
  pages        = {149--184},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90036-D},
  doi          = {10.1016/0168-0072(93)90036-D},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/McNaughton93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/OikkonenV93,
  author       = {Juha Oikkonen and
                  Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Game-Theoretic Inductive Definability},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {3},
  pages        = {265--306},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90014-5},
  doi          = {10.1016/0168-0072(93)90014-5},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/OikkonenV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Steel93,
  author       = {John R. Steel},
  title        = {Inner Models with Many Woodin Cardinals},
  journal      = {Ann. Pure Appl. Logic},
  volume       = {65},
  number       = {2},
  pages        = {185--209},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90037-E},
  doi          = {10.1016/0168-0072(93)90037-E},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Steel93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}