Prof. Dr. Wilfried Buchholz
Address
Mathematisches Institut
Ludwig-Maximilians-Universität München
Theresienstr. 39
D-80333 München
email:
buchholz@mathematik.uni-muenchen.de
Tel: +49 89 2180/4416
Fax: +49 89 2805 248
Büro: Block B, 4. Stock, 418
In den Semesterferien Sprechstunde nur nach Vereinbarung!
Sommersemester 2009
Vorlesungen
Diskrete Strukturen
(Vorlesung: Do 9:30-12, HS B 052. Übung: Di 18:00-19:30, HS B 138).
Beweistheorie (Mi 16-18, Do 14-16, HS B 251)
Vorlesungen vergangener Semester
Papers and unpublished notes
-
A term calculus for (co-)recursive definitions on streamlike data-structures,
(Final version in Annals of Pure and Applied Logic 136, 2005)
-
Relating ordinals to proofs in a perspicious way ,
(Feferman-Festschrift-2002, Lecture Notes in Logic 15)
-
Refined Program Extraction from Classical Proofs, with U. Berger
and H. Schwichtenberg (Final version in Annals of Pure and Applied Logic 114, 2002)
-
Finitary treatment of operator controlled derivations,(MLQ '01)
-
Explaining the Gentzen-Takeuti reduction steps,(AML '01)
-
Explaining Gentzen's Consistency Proof within Infinitary Proof Theory,
(KGC'97)
-
A note on SLDNF-resolution,(JLC '98)
-
An intuitionistic fixed-point theory,(AML '97)
-
Epsilon Substitution Method for Elementary Analysis,with G. Mints and
S. Tupailo (AML '96)
-
Proof-theoretic analysis of termination proofs, (APAL '95)
-
A uniform approach to fundamental sequences and hierarchies,
with A. Cichon and A. Weiermann (MLQ '94)
-
A note on the ordinal analysis of KPM, (Helsinki '90)
-
A simplified version of local predicativity, (Leeds '90)