Wilfried Buchholz

Wilfried Buchholz was a German mathematician.Prof. Dr. Wilfried Buchholz He was born in Berlin in 1948, received his Ph.D. in 1974, and became a Professor at the Mathematical Institute of in 1980.Prof. Dr. Wilfried Buchholz (archive version at 1997-05-02)
The Buchholz's functionW. Buchholz, A New System of Proof-Theoretic Ordinal Functions, Annals of Pure and Applied Logic, vol. 32 (1986), pp. 195--207., the Buchholz hydra and the Takeuti-Feferman-Buchholz ordinal are named after him.
== Sources ==
Category:People