BibTeX records: Wolfram Pohlers

• > Home > Persons > Wolfram Pohlers

@article{DBLP:journals/apal/Pohlers08,
  author    = {Wolfram Pohlers},
  title     = {Ordinal analysis of non-monotone \emph{I}-definable inductive definitions},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {156},
  number    = {1},
  pages     = {160--169},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.apal.2008.06.014},
  doi       = {10.1016/j.apal.2008.06.014},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Pohlers08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/JagerPW98,
  author    = {Gerhard J{\"{a}}ger and
               Wolfram Pohlers and
               Stanley S. Wainer},
  title     = {Editorial Logic Colloquium '95, Haifa, Israel},
  journal   = {Arch. Math. Log.},
  volume    = {37},
  number    = {5-6},
  pages     = {273},
  year      = {1998},
  url       = {https://doi.org/10.1007/s001530050098},
  doi       = {10.1007/s001530050098},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/JagerPW98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BeckmannP98,
  author    = {Arnold Beckmann and
               Wolfram Pohlers},
  title     = {Applications of Cut-Free Infinitary Derivations to Generalized Recursion
               Theory},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {94},
  number    = {1-3},
  pages     = {7--19},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0168-0072(97)00063-8},
  doi       = {10.1016/S0168-0072(97)00063-8},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/BeckmannP98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Pohlers96,
  author    = {Wolfram Pohlers},
  title     = {Pure proof theory, aims, methods and results},
  journal   = {Bull. Symb. Log.},
  volume    = {2},
  number    = {2},
  pages     = {159--188},
  year      = {1996},
  url       = {https://doi.org/10.2307/421108},
  doi       = {10.2307/421108},
  timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/bsl/Pohlers96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0070769,
  author    = {Wolfram Pohlers},
  title     = {Mathematische Grundlagen der Informatik},
  series    = {Handbuch der Informatik},
  volume    = {1.5},
  publisher = {Oldenbourg},
  year      = {1993},
  isbn      = {978-3-486-22113-8},
  timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/books/daglib/0070769.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pohlers91,
  author    = {Wolfram Pohlers},
  title     = {Proof theory and ordinal analysis},
  journal   = {Arch. Math. Log.},
  volume    = {30},
  number    = {5-6},
  pages     = {311--376},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01621474},
  doi       = {10.1007/BF01621474},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Pohlers91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Pohlers87,
  author    = {Wolfram Pohlers},
  title     = {Ordinal notations based on a hierarchy of inaccessible cardinals},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {33},
  pages     = {157--179},
  year      = {1987},
  url       = {https://doi.org/10.1016/0168-0072(87)90079-0},
  doi       = {10.1016/0168-0072(87)90079-0},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/apal/Pohlers87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pohlers81,
  author    = {Wolfram Pohlers},
  title     = {Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis
               for ID\({}_{\mbox{1}}\)},
  journal   = {Arch. Math. Log.},
  volume    = {21},
  number    = {1},
  pages     = {113--129},
  year      = {1981},
  url       = {https://doi.org/10.1007/BF02011638},
  doi       = {10.1007/BF02011638},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Pohlers81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pohlers80,
  author    = {Wolfram Pohlers},
  title     = {Cut elimination for impredicative infinitary systems. Part {II} ordinal
               analysis for iterated inductive definitions},
  journal   = {Arch. Math. Log.},
  volume    = {22},
  number    = {1-2},
  pages     = {69--87},
  year      = {1980},
  url       = {https://doi.org/10.1007/BF02318028},
  doi       = {10.1007/BF02318028},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/aml/Pohlers80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BuchholzP78,
  author    = {Wilfried Buchholz and
               Wolfram Pohlers},
  title     = {Provable Wellorderings of Formal Theories for Transfinitely Iterated
               Inductive Definitions},
  journal   = {J. Symb. Log.},
  volume    = {43},
  number    = {1},
  pages     = {118--125},
  year      = {1978},
  url       = {https://doi.org/10.2307/2271954},
  doi       = {10.2307/2271954},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsyml/BuchholzP78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pohlers78,
  author    = {Wolfram Pohlers},
  title     = {Ordinals Connected with Formal Theories for Transfinitely Iterated
               Inductive Definitions},
  journal   = {J. Symb. Log.},
  volume    = {43},
  number    = {2},
  pages     = {161--182},
  year      = {1978},
  url       = {https://doi.org/10.2307/2272816},
  doi       = {10.2307/2272816},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsyml/Pohlers78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}