Prof. Dr. Wilfried Buchholz

Address

Vorlesungen vergangener Semester

• Mathematische Logik (WS 10/11)
• Lineare Algebra II (SoSe10)
  
• Lineare Algebra I (WS 09/10)
  
• Diskrete Strukturen (SoSe09)
  
• Beweistheorie (WS 02/03, last change: 25.2.03)
• Logic II (SoSe 02)
• Logic I (WS 2001/02)
• Beweistheorie (WS 1997/98)
• Logik II (SoSe 1993)
  [Contains an accurate and simple proof of provable Sigma-1-completeness. Section 7.1 (especially Theorem 2.1) of
  Rautenberg, A Concise Introduction to Mathematical Logic, is based on Ch.15 of this lecture.]
• Logik I (WS 1992/93)

Papers and unpublished notes

• An approach to variable binding using de Bruijn indices and named variables . (August 30, 2002)

• Another reduction of classical IDnu to constructive IDnu^i , (to appear in the Pohlers-Festschrift) Preliminary version 3.2.2010
• 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)