Concepedia

Wilfried Buchholz

WB

Statistics

Publications

12

Citations

523

H-Index

11

Active since

1978

Affiliations

Ludwig-Maximilians-Universität München(Current)

Wilfried Buchholz is an author at Ludwig-Maximilians-Universität München specializing in mathematics, natural sciences, and computer science.

Publications per year

1978–2005

12

Publications

12

A Uniform Approach to Fundamental Sequences and Hierarchies

Wilfried Buchholz, Adam Cichon, Andreas Weiermann · Mathematical logic quarterly · 1994 · 84 citations

Natural Sciences, Mathematics, Number Theory +3

Refined program extraction from classical proofs

Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg · Annals of Pure and Applied Logic · 2002 · 80 citations

Computing, Computer Science, Algorithms +13

A new system of proof-theoretic ordinal functions

Wilfried Buchholz · Annals of Pure and Applied Logic · 1986 · 71 citations · Full text

Natural Sciences, Computer Science, Mathematics +12

Notation systems for infinitary derivations

Wilfried Buchholz · Archive for Mathematical Logic · 1991 · 67 citations

Humanities, Computer Science, Mathematics +13

An independence result for (II11-CA)+BI

Wilfried Buchholz · Annals of Pure and Applied Logic · 1987 · 45 citations

Natural Sciences, Development Studies, Probability Theory +2

1–5 of 12