Homepage of Wolfgang Burr

Address:

•  Verschiedene Charakterisierungen der I\Sigma_{n+1}-beweisbar rekursiven Funktionen, Master's thesis, Münster 1996 (German) (dvi/ps-file)

 
•  A characterization of the Sigma_1-definable functions of KP\omega + (uniform AC), together with V. Hartung, Archive for Mathematical Logic (1998) 37: 199-214 (abstract)

 
•  A Diller-Nahm-style functional interpretation of  KP\omega, Archive for Mathematical Logic, to appear (dvi-file,     ps-file)

 
•  Fragments of Heyting  Arithmetic, Journal of Symbolic Logic, to appear (dvi-file,     ps-file)

 
•  Functional Interpretation Aczel's Constructive Set Theory, Annals of Pure and Applied Logic (2000) 104/1-3: 31-73 (abstract)

 
•  Functionals in Set Theory and Arithmetic, (PhD thesis), Münster 1998   (dvi-file,     ps-file)

 
• Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory, to appear in: Benedikt Löwe, Florian Rudolph (eds.), Foundations of the Formal Sciences, Refereed Papers of a Research Colloquium, Humboldt-Universität zu Berlin, May 7-9, 1999 (ps-file)

 
•  The intuitionistic arithmetical hierarchy (submitted)   (ps-file)

Talks (selection):

• Functional interpretation of KP\omega + (uniform AC), Kolloquium zur Mathematischen Logik, Amsterdam-Münster-Kontakt, November 1996, Münster
• A Diller-Nahm-style functional interpretation of KP\omega, Workshop on Proof Theory, Ordinal Analyses and their Applications, May 1997, Münster
• Fragments of Heyting-Arithmetic, Philosophy Department Logic Colloquium, Carnegie Mellon University, September 25, 1997
• Fragments of Heyting-Arithmetic,  invited talk at the Amsterdam-Utrecht Symposium on Intuitionistic Arithmetic and Modal Logic, December 1997
• Functional Interpretation of Aczel's Constructive Set Theory CZF, Amsterdam - Münster contact, June 19-20 1998
• Invited talk at the Workshop: BRICS THEME 98: "Proofs and Complexity"   Aarhus , August 1998
• Functional Interpretation of Aczel's Constructive Set Theory CZF,  Colloquium Logicum 98, Berlin, 28.-30.August 1998
• Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory; Foundations of the Formal Sciences, Research Colloquium, Humboldt-Universität zu Berlin, May 7-9, 1999
• Logic Colloquim '99 August 1-6, 1999 Utrecht
• DMV-Jahrestagung 1999, 5.-11. September, Mainz
• Oberseminar Mengenlehre, 4.5.2000, Mathematisches Institut Bonn
• Kolloquium Logik und Sprachtheorie, 4.7.2000, Wilhelm-Schickard-Institut für Informatik Tübingen

Grants:

Seminar : Logic I (with Professor Diller, Sommersemster 2000)

Diplomandenseminar (the members of the Institute for math. logic, Sommersemester 2000)

Seminar : Proof theory and intuitionism (the members of the Institute for math. logic, Sommersemester 2000)

Affiliations: