BibTeX records: Wolfram Pohlers

download as .bib file

@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}
}
@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}
}
@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}
}
@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}
}
@book{DBLP:books/daglib/0070769,
  author    = {Wolfram Pohlers},
  title     = {Mathematische Grundlagen der Informatik},
  series    = {Handbuch der Informatik},
  volume    = {1.5},
  publisher = {Oldenbourg},
  year      = {1993}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics