Auswahl aktueller Veröffentlichungen

next up previous contents
Next: Wissenschaftliche Herausgebertätigkeit Up: Prof. Dr. Wilfried Buchholz Previous: Arbeitsfeld

Auswahl aktueller Veröffentlichungen

  1. mit W. Sieg, A note on polynomial time computable arithmetic, in: Logic and Computation, AMS-series Contemporary Mathematics Vol. 106 (1990), 51-55

  2. Notation systems for infinitary derivations, Arch. Math. Logic 30 (1991), 277-296

  3. A simplified version of local predicativity, in: Proof Theory, Leeds 1990. Aczel, Simmons, Wainer (eds.) Cambridge University Press (1992), 115-147

  4. mit A. Cichon und A. Weiermann, A uniform approach to fundamental sequences and hierarchies, Mathematical Logic Quarterly 40 (1994), 273-286

  5. Proof-theoretic analysis of termination proofs, Annals of Pure and Applied Logic 75 (1995), 57-65

  6. mit G. Mints und S. Tupailo, Epsilon Substitution Method for Elementary Analysis, Arch. Math. Logic. 35 (1996), 103-130

  7. An intuitionistic fixed-point theory, Archive of Mathematical Logic, erscheint demnächst

Wed Nov 20 16:14:16 MET 1996