Wilfried Buchholz

Learn More
It is one of Kurt Schiitte's great merits to have established cut-elimination on infinitary derivations as a powerful and elegant tool for proof-theoretic investigations. Compared to the Gentzen-Takeuti approach where ordinals are assigned to finite derivations in a rather cryptic way, the use of infinitary derivations together with the canonical assignment(More)